Lines Matching refs:filename

636                     String filename = templ.substring(0,len-3) + htmlExtension;
637                     ClearPage.write(data, templ, filename);
640                     String filename = templ.substring(0,len-3) + htmlExtension;
641                     DocFile.writePage(f.getAbsolutePath(), relative, filename);
739      * @param filename the path to the file to write the list to
741     public static void writeKeepList(String filename) {
755             stream = new PrintStream(filename);
761             System.err.println("error writing file: " + filename);
843     public static void writePackages(String filename)
864         ClearPage.write(data, "packages.cs", filename);
867         Proofread.writePackages(filename,
897         String filename = pkg.htmlPage();
899         ClearPage.write(data, "package.cs", filename);
901         filename = pkg.fullDescriptionHtmlPage();
903         ClearPage.write(data, "package-descr.cs", filename);
905         Proofread.writePackage(filename, pkg.inlineTags());