From 11439562e89bc1411bfb0f95c4582f266ff634cf Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Tue, 16 May 2023 01:19:36 +0200 Subject: [PATCH] Continued: - skip unmaintined and broken projects --- make-javadoc.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/make-javadoc.sh b/make-javadoc.sh index bd5c46f..27dcbc6 100755 --- a/make-javadoc.sh +++ b/make-javadoc.sh @@ -42,10 +42,20 @@ for project in ${LIST}; do echo "$0: Cleaning up Javadoc for '${project}' ..." rm -rf dist/javadoc/ + M=$(grep "${project}" "${UNMAINTAINED}") + B=$(grep "${project}" "${BROKEN}") if [ -f "src/.gitkeep" ] then echo "$0: project='${project}' has a .gitkeep file in 'src', won't scan." continue + elif [ -n "${M}" ] + then + echo "$0: Skipping unmaintained project='${project}' ..." + continue + elif [ -n "${B}" ] + then + echo "$0: Skipping broken project='${project}' ..." + continue fi echo "$0: Generating documentation for '${project}' ..." -- 2.39.5