GNUmakefile: make check-chktex output errors.

diff --git a/GNUmakefile b/GNUmakefile
index dd8af234683c49057a0045aa3e3919f17835cb01..3369c9ce36171423c9707bee884447446fb02e98 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -202,7 +202,8 @@ check-boxes: $(PN).log
 .PHONY: check-chktex
 CHKTEX = chktex --localrc .chktexrc --quiet --inputfiles=0
 check-chktex:
-       @[ -z "$(shell $(CHKTEX) mjotex.sty)" ]
+       @chktexout=$$($(CHKTEX) $(PN).tex); \
+         test -z "$${chktexout}" || { echo "$${chktexout}" 1>&2; exit 1; }
 
 # Ensure that there are no undefined references in the document by
 # parsing the log file for said warnings.