From 8452b614a80747527c635918b2d0721ddec1ea26 Mon Sep 17 00:00:00 2001 From: "Marcel Kapfer (mmk2410)" Date: Wed, 15 Feb 2017 13:26:32 +0100 Subject: [PATCH] Further imporvements for buildpdf --- buildpdf/buildpdf.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/buildpdf/buildpdf.sh b/buildpdf/buildpdf.sh index d2f268b..2a47975 100755 --- a/buildpdf/buildpdf.sh +++ b/buildpdf/buildpdf.sh @@ -11,6 +11,7 @@ print() { local text="$1" date "+[%F %T] $text" + } run() { @@ -18,6 +19,7 @@ run() { local filename="$1" local number="$2" + print "Building..." pdflatex "$filename" > /dev/null 2>&1 print "Build $number ready"