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

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

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

revision 1.13 by julian, Mon Dec 13 19:50:50 2004 UTC revision 1.14 by julian, Mon Dec 13 20:34:46 2004 UTC
# Line 1139  public class HtmlDoclet Line 1139  public class HtmlDoclet
1139        printNavBarTop(output, "overview");        printNavBarTop(output, "overview");
1140    
1141        String overviewHeader;        String overviewHeader;
1142        if (null == optionDocTitle.getValue()) {        if (null != optionDocTitle.getValue()) {
1143           overviewHeader = "Overview";           overviewHeader = optionDocTitle.getValue();
1144          }
1145          else if (null != optionTitle.getValue()) {
1146             overviewHeader = optionTitle.getValue();
1147        }        }
1148        else {        else {
1149           overviewHeader = optionDocTitle.getValue();           overviewHeader = "Overview";
1150        }        }
1151    
1152        output.div(CssClass.OVERVIEW_TITLE, overviewHeader);        output.div(CssClass.OVERVIEW_TITLE, overviewHeader);
1153    
1154        /*        /*
# Line 1968  public class HtmlDoclet Line 1972  public class HtmlDoclet
1972     protected void run()     protected void run()
1973        throws DocletConfigurationException, IOException        throws DocletConfigurationException, IOException
1974     {     {
1975        printNotice("HtmlDoclet running.");        if (optionNoSerialWarn.getValue()) {
1976             printWarning("option -noserialwarn is currently ignored.");
1977          }
1978    
1979          if (null != optionTitle.getValue()) {
1980             printWarning("option -title is deprecated.");
1981          }
1982    
1983        {        {
1984           Iterator it = externalDocSets.iterator();           Iterator it = externalDocSets.iterator();
1985           while (it.hasNext()) {           while (it.hasNext()) {
# Line 2194  public class HtmlDoclet Line 2205  public class HtmlDoclet
2205     private DocletOptionFlag optionNoComment =     private DocletOptionFlag optionNoComment =
2206       new DocletOptionFlag("-nocomment");       new DocletOptionFlag("-nocomment");
2207    
2208       private DocletOptionFlag optionNoSerialWarn =
2209         new DocletOptionFlag("-noserialwarn");
2210    
2211     private DocletOptionFlag optionSplitIndex =     private DocletOptionFlag optionSplitIndex =
2212       new DocletOptionFlag("-splitindex");       new DocletOptionFlag("-splitindex");
2213    
# Line 2212  public class HtmlDoclet Line 2226  public class HtmlDoclet
2226     private DocletOptionString optionDocTitle =     private DocletOptionString optionDocTitle =
2227       new DocletOptionString("-doctitle");       new DocletOptionString("-doctitle");
2228    
2229       private DocletOptionString optionTitle =
2230         new DocletOptionString("-title");
2231    
2232     private DocletOptionFile optionHelpFile =     private DocletOptionFile optionHelpFile =
2233       new DocletOptionFile("-helpfile");       new DocletOptionFile("-helpfile");
2234    

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

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