Continued:

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

diff --git a/make-javadoc.sh b/make-javadoc.sh
index 0af732ea6c4f2bb547698acb58fc0d08a13dc2b3..92db6f6204585c921189d07f8f974cf10019d8ae 100755 (executable)
--- a/make-javadoc.sh
+++ b/make-javadoc.sh
@@ -42,8 +42,25 @@ for project in ${LIST}; do
        echo "$0: Cleaning up Javadoc for '${project}' ..."
        rm -rf dist/javadoc/
 
+       M=$(echo "${UNMAINTAINED}" | grep "${project}")
+       B=$(echo "${BROKEN}" | grep "${project}")
+       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}' ..."
-       ${ANT_BIN} javadoc > dist/javadoc.log || exit 255
+       "${ANT_BIN}" javadoc > dist/javadoc.log || exit 255
+       rm -fv dist/javadoc.log
 
        IS_COMPANY_PROJECT=$(echo "${COMPANY_PROJECTS}" | grep "${project}")
        if [ -n "${IS_COMPANY_PROJECT}" -a -z "$1" ]