From 9bacd2f9b9ae4f6cb2989463ff6dc32b849252ce Mon Sep 17 00:00:00 2001
From: mkalewski <mkalewski@dcs-mk-l.(none)>
Date: Tue, 11 Dec 2012 17:29:15 +0100
Subject: [PATCH] Fix search for compilation errors.

When used with the 'PSTricks', the search for compilation errors now takes into
account the name of package 'infwarerr'.
---
 README.rst  | 2 +-
 pdflatex.sh | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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}"