From a7d9d20d9a92609c2ad38c1bb025932e81dbfd7c Mon Sep 17 00:00:00 2001
From: Simon Urbanek <simon.urbanek@R-project.org>
Date: Fri, 8 Dec 2023 17:08:08 +1300
Subject: [PATCH] remove JavaDoc in dist due to security issues (#303)

---
 mkdist | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mkdist b/mkdist
index 1fe0733..6da35ff 100644
--- 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