remove JavaDoc in dist due to security issues (#303)

s-u · Dec 8, 2023 · a7d9d20 · a7d9d20
1 parent 82f938d
commit a7d9d20
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/mkdist b/mkdist
@@ -158,8 +158,9 @@ mkdir -p inst/java/boot
 cd src/java
 make clean
 make compile
-echo "Generate javadoc documentation"
-make javadoc
+# do not generate javadoc (see #303)
+#echo "Generate javadoc documentation"
+#make javadoc
 cd ../..
 echo "Copy compiled Java classes ..."
 # copy all complied Java classes and sources