Description: building the javadoc, hidden by default
Author: Pierre Gruet <pgt@debian.org>
Forwarded: not-needed
Last-Update: 2021-12-12

--- a/build.xml
+++ b/build.xml
@@ -1666,7 +1666,6 @@
 
   <target name="javadoc" depends="initdoc" unless="javadoc.uptodate"
           description="Generation of Javadoc">
-  	<!--
     <mkdir dir="${javadoc.dir}"/>
     <javadoc destdir="${javadoc.dir}" sourcepath="src"
              source="1.7"
@@ -1680,7 +1679,6 @@
       <tag name="j2sOverride" enabled="false" />
     </javadoc>
     
-    -->
   </target>
 
   <target name="jmolGuide" id="jmolGuide" depends="initdoc"
