/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/xmldoclet/Driver.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/xmldoclet/Driver.java

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

revision 1.35 by julian, Tue Nov 23 13:53:37 2004 UTC revision 1.36 by julian, Tue Nov 23 15:19:33 2004 UTC
# Line 978  public class Driver { Line 978  public class Driver {
978                 else if ("-stylesheetfile".equals(optionTag)) {                 else if ("-stylesheetfile".equals(optionTag)) {
979                    docTransletOptions.stylesheetfile = new File(option[1]).toURL().toString();                    docTransletOptions.stylesheetfile = new File(option[1]).toURL().toString();
980                 }                 }
981                   else if ("-header".equals(optionTag)) {
982                      docTransletOptions.header = option[1];
983                   }
984                   else if ("-footer".equals(optionTag)) {
985                      docTransletOptions.footer = option[1];
986                   }
987                   else if ("-bottom".equals(optionTag)) {
988                      docTransletOptions.bottom = option[1];
989                   }
990                 else if ("-tag".equals(optionTag)) {                 else if ("-tag".equals(optionTag)) {
991                    String tagSpec = option[1];                    String tagSpec = option[1];
992                    boolean validTagSpec = false;                    boolean validTagSpec = false;
# Line 1541  public class Driver { Line 1550  public class Driver {
1550        else if ("-linksource".equals(option)) return 1;        else if ("-linksource".equals(option)) return 1;
1551        else if ("-windowtitle".equals(option)) return 2;        else if ("-windowtitle".equals(option)) return 2;
1552        else if ("-helpfile".equals(option)) return 2;        else if ("-helpfile".equals(option)) return 2;
1553        else if ("-stylesheet".equals(option)) return 2;        else if ("-stylesheetfile".equals(option)) return 2;
1554        else if ("-tag".equals(option)) return 2;        else if ("-tag".equals(option)) return 2;
1555          else if ("-header".equals(option)) return 2;
1556          else if ("-footer".equals(option)) return 2;
1557          else if ("-bottom".equals(option)) return 2;
1558    
1559        else return -1;        else return -1;
1560     }     }

Legend:
Removed from v.1.35  
changed lines
  Added in v.1.36

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