diff --git a/doc/Makefile b/doc/Makefile index 5c679440b8..a702d5d169 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -69,6 +69,7 @@ html: $(OBJECTS) $(ANCHORCHECK) sphinx-build $(SPHINXEXTRA) -b html -c utils/sphinx-config -d $(BUILDDIR)/doctrees $(RSTDIR) html ;\ echo "############################################" ;\ doc_anchor_check src/*.txt ;\ + env LC_ALL=C grep -n '[^ -~]' src/*.txt ;\ echo "############################################" ;\ deactivate ;\ )