Searched refs:htmlFile (Results 1 – 1 of 1) sorted by relevance
216 public static String outputFilename(String htmlFile) { in outputFilename() argument217 if (!Doclava.htmlExtension.equals(".html") && htmlFile.endsWith(".html")) { in outputFilename()218 return htmlFile.substring(0, htmlFile.length() - 5) + Doclava.htmlExtension; in outputFilename()220 return htmlFile; in outputFilename()