Unverified Commit a5db0463 authored by Axel Kohlmeyer's avatar Axel Kohlmeyer
Browse files

list lines in doc source files with non-ASCII characters

parent 10736951
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -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 ;\
	)