diff --git a/x10.doc/src/x10doc/doc/X10RootDoc.java b/x10.doc/src/x10doc/doc/X10RootDoc.java index 1c4ec380d5..25a058bd04 100644 --- a/x10.doc/src/x10doc/doc/X10RootDoc.java +++ b/x10.doc/src/x10doc/doc/X10RootDoc.java @@ -483,7 +483,7 @@ public boolean equals(Object other) { */ public String[][] options() { // System.out.println("RootDoc.options() called."); - String[][] result = new String[][] { { "-d", outputDir }, { accessModifier, "" } }; + String[][] result = new String[][] { { "-d", outputDir }, { accessModifier, "" }, {"-Xmaxerrs", "1000000"}, {"-Xmaxwarns", "1000000"}, {"-Xdoclint:none"} }; return result; } @@ -535,33 +535,27 @@ public PackageDoc[] specifiedPackages() { } public void printError(String arg0) { - // TODO Auto-generated method stub - + System.err.println(arg0); } public void printError(SourcePosition arg0, String arg1) { - // TODO Auto-generated method stub - + System.err.println(arg0 +": "+arg1); } public void printNotice(String arg0) { - // TODO Auto-generated method stub - + System.out.println(arg0); } public void printNotice(SourcePosition arg0, String arg1) { - // TODO Auto-generated method stub - + System.out.println(arg0 +": "+arg1); } public void printWarning(String arg0) { - // TODO Auto-generated method stub - + System.out.println(arg0); } public void printWarning(SourcePosition arg0, String arg1) { - // TODO Auto-generated method stub - + System.out.println(arg0 + ":" +arg1); } public String stringDocObjNames(Collection c) {