From: Michael Orlitzky Date: Fri, 4 Oct 2019 21:57:40 +0000 (-0400) Subject: GNUmakefile: update a bug reference in a comment. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=ccd89499c94dc4bd02136f63a1c22fc6ca674167;p=mjotex.git GNUmakefile: update a bug reference in a comment. --- diff --git a/GNUmakefile b/GNUmakefile index 3456c4d..19bde1d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -186,7 +186,7 @@ check-boxes: $(PN).log @! 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: