diff options
Diffstat (limited to 'update-pdf.sh')
-rw-r--r-- | update-pdf.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/update-pdf.sh b/update-pdf.sh index 8d1534a..f342079 100644 --- a/update-pdf.sh +++ b/update-pdf.sh @@ -18,6 +18,9 @@ do then echo "updating" pdflatex $PRACA + biber $PARACA + pdflatex $PRACA + pdflatex $PRACA else sleep 0.2 fi |