revert

diff --git a/src/Makefile b/src/Makefile
index b2022d2..2e051ed 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -14,7 +14,7 @@ pdf:
        bibtex applied-crypto-hardening
        makeglossaries applied-crypto-hardening
        ${LATEX} applied-crypto-hardening
-       while grep -E "(Rerun to get cross-references right)|(There were undefined references)" \
+       while grep -s "Rerun to get cross-references right" \
         applied-crypto-hardening.log ; do \
            ${LATEX} applied-crypto-hardening ; \
        done