From b2ea32a1a954cb07b94a526e14d02bc16f176e99 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Tue, 28 Apr 2020 22:55:25 +0200 Subject: [PATCH] Continued: - remove logfile after successfully creating documentation MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Roland Häder --- make-javadoc.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/make-javadoc.sh b/make-javadoc.sh index 0af732e..bf6efec 100755 --- 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 + rm -fv dist/javadoc.log IS_COMPANY_PROJECT=$(echo "${COMPANY_PROJECTS}" | grep "${project}") if [ -n "${IS_COMPANY_PROJECT}" -a -z "$1" ] -- 2.30.2