From a5db0463ecebacf7d465653c6bc2dcbceacac03d Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Wed, 25 Sep 2019 13:36:57 -0400 Subject: [PATCH] list lines in doc source files with non-ASCII characters --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) 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 ;\ )