Don't say both that the PDF file is inexistant and empty

6 years ago · 71425672d2
1 changed files with 1 additions and 3 deletions
--- a/4
+++ b/4
@ -737,9 +737,7 @@ pdffile="$builddir/$mainbase".pdf
 if test ! -r "$pdffile" ; then
    echo "No PDF file generated."
    compile_error=1
-fi
-
-if test ! -s "$pdffile" ; then
+elif test ! -s "$pdffile" ; then
    echo "PDF file generated is empty."
    compile_error=1
 fi