From a8e848cf32b0f92fdff3561d982dd5fda6f78586 Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Wed, 5 Dec 2018 20:14:47 +0100 Subject: Remove garbage files and set permissions on PDFs. --- buildbot/make_auditor_reports.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'buildbot') diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index bc11ea5..5bacb68 100755 --- 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. -- cgit v1.2.3