diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index e41f873..4ef79f4 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -142,4 +142,4 @@ dist: cp build/latex/docs-pdf.tar.bz2 dist/python-$(DISTVERSION)-docs-pdf-letter.tar.bz2 check: - $(PYTHON) tools/rstlint.py -i tools -s 2 + $(PYTHON) tools/rstlint.py -i tools |