git: less verbose pre-commit-texcheck

diff --git a/git/pre-commit-texcheck b/git/pre-commit-texcheck
index dae2418a129913c5bee48a49fa847894814bd6d7..284849f36516ebdb9f76573a1630a56baa61b313 100755 (executable)
--- a/git/pre-commit-texcheck
+++ b/git/pre-commit-texcheck
@@ -14,7 +14,7 @@ for f in $(find -name "*.tex"); do
     # Only main tex files are interesting
     grep -q "\documentclass" "$f" || continue
 
-    pushd .
+    pushd . > /dev/null
     cd $(dirname $f)
 
     if ! pdflatex -output-directory "$tmpdir" $(basename $f) < /dev/null > /dev/null; then
@@ -23,7 +23,7 @@ for f in $(find -name "*.tex"); do
         cleanup
         exit 1
     fi
-    popd
+    popd > /dev/null
 done
 
 cleanup