diff --git a/README.rst b/README.rst index 72e910a..d431684 100644 --- a/README.rst +++ b/README.rst @@ -4,7 +4,7 @@ pdflatex.sh :Author: MichaƂ Kalewski :Source: https://github.com/mkalewski/pdflatex.sh -:Version: 3.1.2 +:Version: 3.1.3 Name diff --git a/pdflatex.sh b/pdflatex.sh index d4e5d67..4325ce5 100755 --- a/pdflatex.sh +++ b/pdflatex.sh @@ -34,7 +34,7 @@ # VERSION # ======= -VERSION=3.1.2 +VERSION=3.1.3 # PROGRAMS @@ -553,7 +553,7 @@ else fi echo -ne "${txtund}PS4PDF${txtrst}...\t\t\t\t" $PS4PDF_PROGRAM "$FILENAME" >&- 2>&- - ERR=`egrep -i "error|emergency stop" "$FILENAME".log` + ERR=`egrep -i "error|emergency stop" "$FILENAME".log | grep -v -i infwarerr` if [[ -n $ERR ]] ; then echo -ne "${txtred}[done]" echo " ${txtbld}(With errors! See $FILENAME.log file.)${txtrst}"