/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlPage.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlPage.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.14 by julian, Sun Feb 6 21:51:39 2005 UTC revision 1.15 by julian, Mon May 23 14:05:05 2005 UTC
# Line 54  public class HtmlPage Line 54  public class HtmlPage
54     private String docType;     private String docType;
55    
56     public static final String DOCTYPE_FRAMESET = "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Frameset//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd\">";     public static final String DOCTYPE_FRAMESET = "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Frameset//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd\">";
    public static final String DOCTYPE_STRICT = "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">";  
57    
58     public HtmlPage(File file, String pathToRoot, String encoding)     public HtmlPage(File file, String pathToRoot, String encoding)
59        throws IOException        throws IOException
60     {     {
61        this(file, pathToRoot, encoding, DOCTYPE_STRICT);        this(file, pathToRoot, encoding, "<!DOCTYPE html PUBLIC \"-//gnu.org///DTD XHTML 1.1 Strict plus Target 1.0//EN\" \"" + pathToRoot + "xhtml11-strict-target.dtd\">");
62     }     }
63    
64     public HtmlPage(File file, String pathToRoot, String encoding, String docType)     public HtmlPage(File file, String pathToRoot, String encoding, String docType)

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26