diff 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"; |