Continued:

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

diff --git a/make-javadoc.sh b/make-javadoc.sh
index 0af732ea6c4f2bb547698acb58fc0d08a13dc2b3..bf6efec8ccb02543ee0866e7bac382dd3b920da3 100755 (executable)
--- a/make-javadoc.sh
+++ b/make-javadoc.sh
@@ -44,6 +44,7 @@ for project in ${LIST}; do
 
        echo "$0: Generating documentation for '${project}' ..."
        ${ANT_BIN} javadoc > dist/javadoc.log || exit 255
 
        echo "$0: Generating documentation for '${project}' ..."
        ${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" ]
 
        IS_COMPANY_PROJECT=$(echo "${COMPANY_PROJECTS}" | grep "${project}")
        if [ -n "${IS_COMPANY_PROJECT}" -a -z "$1" ]