Home
last modified time | relevance | path

Searched refs:diffFile (Results 1 – 1 of 1) sorted by relevance

/external/jdiff/src/jdiff/
DDiff.java309 diffFile = new PrintWriter(fos); in emitDocDiffs()
312diffFile.println("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Frameset//EN\"\"" + RootDocToXML.ba… in emitDocDiffs()
313 diffFile.println("<HTML>"); in emitDocDiffs()
314 diffFile.println("<HEAD>"); in emitDocDiffs()
315diffFile.println("<meta name=\"generator\" content=\"JDiff v" + JDiff.version + "\">"); in emitDocDiffs()
316 diffFile.println("<!-- Generated by the JDiff Javadoc doclet -->"); in emitDocDiffs()
317 diffFile.println("<!-- (" + JDiff.jDiffLocation + ") -->"); in emitDocDiffs()
319diffFile.println("<meta name=\"description\" content=\"" + JDiff.jDiffDescription + "\">"); in emitDocDiffs()
320diffFile.println("<meta name=\"keywords\" content=\"" + JDiff.jDiffKeywords + "\">"); in emitDocDiffs()
321diffFile.println("<LINK REL=\"stylesheet\" TYPE=\"text/css\" HREF=\"" + "../" + "stylesheet-jdiff.… in emitDocDiffs()
[all …]