commit a8e848cf32b0f92fdff3561d982dd5fda6f78586
parent 5e947583aa5bbcfb5cc5c33d712ed7468cc8667c
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Wed, 5 Dec 2018 20:14:47 +0100
Remove garbage files and set permissions on PDFs.
Diffstat:
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh
@@ -34,9 +34,12 @@ python ${PWD}/render_auditor_reports.py \
> "${REPORT_FILE_NOEXT}.tex" \
< "${JINJA_TEMPLATE}"
-# POLISHING ENDS HERE.
-
cd "${REPORTS_DIRECTORY}"
pdflatex "${REPORT_FILE_NOEXT}.tex"
+# Remove garbage and set permissions.
+rm "${REPORT_FILE_NOEXT}.aux"
+rm "${REPORT_FILE_NOEXT}.log"
+chmod g+r "${REPORT_FILE_NOEXT}.pdf"
+
echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated.