/[classpath]/gjdoc/src/gnu/classpath/tools/gjdoc/Main.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/gjdoc/Main.java

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

revision 1.47 by julian, Mon Dec 13 21:56:48 2004 UTC revision 1.48 by julian, Tue Dec 14 19:52:59 2004 UTC
# Line 1189  public final class Main Line 1189  public final class Main
1189            }            }
1190          }          }
1191        });        });
1192        options.put("-classpath", new OptionProcessor(2)
1193          {
1194            void process(String[] args)
1195            {
1196              System.setProperty("java.class.path", args[0]);
1197            }
1198          });
1199    }    }
1200    
1201    /**    /**
# Line 1257  public final class Main Line 1263  public final class Main
1263              + "  -locale <name>           Locale to be used, e.g. en_US or en_US_WIN [ignored]\n"              + "  -locale <name>           Locale to be used, e.g. en_US or en_US_WIN [ignored]\n"
1264              + "  -encoding <name>         Source file encoding name\n"              + "  -encoding <name>         Source file encoding name\n"
1265              + "  -breakiterator           Compute first sentence with BreakIterator\n"              + "  -breakiterator           Compute first sentence with BreakIterator\n"
1266                + "  -classpath               Set the path used for loading auxilliary classes\n"
1267    
1268              + "Gjdoc extension options:\n"              + "Gjdoc extension options:\n"
1269              + "  -licensetext             Include license text from source files\n"              + "  -licensetext             Include license text from source files\n"

Legend:
Removed from v.1.47  
changed lines
  Added in v.1.48

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