Add rstlint, a little tool to find subtle markup problems and inconsistencies in the Doc sources.
diff --git a/Doc/Makefile b/Doc/Makefile
index be05d4b..02d1acf 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -14,7 +14,7 @@
ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees -D latex_paper_size=$(PAPER) \
$(SPHINXOPTS) . build/$(BUILDER) $(SOURCES)
-.PHONY: help checkout update build html htmlhelp clean coverage dist
+.PHONY: help checkout update build html htmlhelp clean coverage dist check
help:
@echo "Please use \`make <target>' where <target> is one of"
@@ -141,3 +141,5 @@
cp build/latex/docs-pdf.zip dist/python-$(DISTVERSION)-docs-pdf-letter.zip
cp build/latex/docs-pdf.tar.bz2 dist/python-$(DISTVERSION)-docs-pdf-letter.tar.bz2
+check:
+ $(PYTHON) tools/rstlint.py -i tools -s 2