Continued:

[jprojects-scripts.git] / make-javadoc.sh

diff --git a/make-javadoc.sh b/make-javadoc.sh
index bd5c46fa2082dd6692b704de8df54fbf436e0db8..27dcbc6f231e0e2a218592bb05a0a82b06097f9e 100755 (executable)
--- 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}' ..."