summaryrefslogtreecommitdiffstats
path: root/ajdoc
diff options
context:
space:
mode:
authormkersten <mkersten>2004-04-07 21:30:20 +0000
committermkersten <mkersten>2004-04-07 21:30:20 +0000
commitb5c1e2ed8a4dbd608e471be5fdaafb1cf60d8600 (patch)
tree5871348a5fd81ca58ee1630ac39589f2811890d7 /ajdoc
parentb4bf0078ed233d0bef56f522daf4ed0929a74aca (diff)
downloadaspectj-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.java7
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";