diff options
author | mkersten <mkersten> | 2004-04-07 21:30:20 +0000 |
---|---|---|
committer | mkersten <mkersten> | 2004-04-07 21:30:20 +0000 |
commit | b5c1e2ed8a4dbd608e471be5fdaafb1cf60d8600 (patch) | |
tree | 5871348a5fd81ca58ee1630ac39589f2811890d7 /ajdoc | |
parent | b4bf0078ed233d0bef56f522daf4ed0929a74aca (diff) | |
download | aspectj-b5c1e2ed8a4dbd608e471be5fdaafb1cf60d8600.tar.gz aspectj-b5c1e2ed8a4dbd608e471be5fdaafb1cf60d8600.zip |
Added support for additional javadoc 1.4 options.
Diffstat (limited to 'ajdoc')
-rw-r--r-- | ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java index a6574ce04..dfccf037c 100644 --- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java +++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java @@ -395,6 +395,7 @@ public class Main implements Config { while(st.hasMoreElements()) { argList.add((String)st.nextElement()); } + //System.err.println(argList); args = new String[argList.size()]; int counter = 0; for (Iterator it = argList.iterator(); it.hasNext(); ) { @@ -513,6 +514,12 @@ public class Main implements Config { else if (arg.equals("-XajdocDebug")) { deleteTempFilesOnExit = false; } + else if (arg.equals("-use")) { + System.out.println("> Ignoring unsupported option: -use"); + } + else if (arg.equals("-splitindex")) { + // passed to javadoc + } else if (arg.startsWith("-") || addNextAsOption) { if ( arg.equals( "-private" ) ) { docModifier = "private"; |