equal
deleted
inserted
replaced
40 |
40 |
41 if (com.sun.tools.javadoc.Main.execute( |
41 if (com.sun.tools.javadoc.Main.execute( |
42 "javadoc", |
42 "javadoc", |
43 "LangVers", |
43 "LangVers", |
44 LangVers.class.getClassLoader(), |
44 LangVers.class.getClassLoader(), |
45 new String[] {"-source", "1.5", thisFile}) != 0) |
45 new String[] {thisFile}) != 0) |
46 throw new Error("Javadoc encountered warnings or errors."); |
46 throw new Error("Javadoc encountered warnings or errors."); |
47 } |
47 } |
48 |
48 |
49 public static boolean start(RootDoc root) { |
49 public static boolean start(RootDoc root) { |
50 ClassDoc fishdoc = root.classNamed("LangVers.Fish"); |
50 ClassDoc fishdoc = root.classNamed("LangVers.Fish"); |