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