diff --git a/Makefile b/Makefile index 8fd1500035653f94b6405fb04280900162626084..2ea166e4a590f508d5929af10c4649f5e0c5b0d7 100644 --- a/Makefile +++ b/Makefile @@ -186,6 +186,6 @@ up: $(PDFNAMES) .PHONY: check check: @echo "Checking duplicates.." - @grep -Eon -r --include "*.tex" '(\b[[:alpha:]]{2,}\b) \1\b' . + @grep -Eon -r --include "*.tex" '(\b[[:alpha:]]{2,}\b) \1\b' . | true @echo "Checking spelling.." cat $(SRCNAMES) | aspell --conf-dir=$(THISDIR) --home-dir=$(THISDIR) list -t --dont-tex-check-comments -d en_GB-ize | sort -uf | sed -E '/.../!d'