/[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.33 by julian, Tue Nov 23 12:49:56 2004 UTC revision 1.34 by julian, Tue Nov 23 13:33:58 2004 UTC
# Line 974  public class Driver { Line 974  public class Driver {
974                 else if ("-helpfile".equals(optionTag)) {                 else if ("-helpfile".equals(optionTag)) {
975                    docTransletOptions.helpfile = new File(option[1]).toURL().toString();                    docTransletOptions.helpfile = new File(option[1]).toURL().toString();
976                 }                 }
977                 else if ("-stylesheet".equals(optionTag)) {                 else if ("-stylesheetfile".equals(optionTag)) {
978                    docTransletOptions.stylesheet = new File(option[1]).toURL().toString();                    docTransletOptions.stylesheetfile = new File(option[1]).toURL().toString();
979                 }                 }
980              }              }
981    

Legend:
Removed from v.1.33  
changed lines
  Added in v.1.34

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