diff --git a/docs/manual/CoreTasks/javadoc.html b/docs/manual/CoreTasks/javadoc.html index f46c09a92..1abc401be 100644 --- a/docs/manual/CoreTasks/javadoc.html +++ b/docs/manual/CoreTasks/javadoc.html @@ -7,7 +7,7 @@
-Generates code documentation using the javadoc tool.
The source directory will be recursively scanned for Java source files to process @@ -34,10 +34,10 @@ if some packages are missing or broken. Use this option if you wish to convert f an existing makefile. Once things are running you should then switch to the regular notation.
-DEPRECATION: the javadoc2 task simply points to the javadoc task and it's +
DEPRECATION: the javadoc2 task simply points to the javadoc task and it's there for back compatibility reasons. Since this task will be removed in future versions, you are strongly encouraged to use javadoc -instead.
+instead.