@! grep -i 'overfull\|underfull' $<
# Run chktex to find silly mistakes. There is some exit code weirdness
-# (Savannah bug 45979), so we just look for empty output.
+# (Savannah bug 53129), so we just look for empty output.
.PHONY: check-chktex
CHKTEX = chktex --localrc .chktexrc --quiet --inputfiles=0
check-chktex: