Exclude VENVDIR in Doc builds (#3977)

diff --git a/Doc/Makefile b/Doc/Makefile
index da3274396eb5e07a9bba2207aadb67ce5aee4a48..7f3e216c70e8fd772470c6395cda4274098dba50 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -170,7 +170,7 @@ dist:
        cp -pPR build/epub/Python.epub dist/python-$(DISTVERSION)-docs.epub
 
 check:
-       $(PYTHON) tools/rstlint.py -i tools
+       $(PYTHON) tools/rstlint.py -i tools -i $(VENVDIR) -i README.rst
 
 serve:
        ../Tools/scripts/serve.py build/html

diff --git a/Doc/conf.py b/Doc/conf.py
index b3f26d5a692163abefccfc842d4480ec21596595..4145fd5a90a77258c6ed7d712f55361ec12c04f0 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -37,7 +37,8 @@ highlight_language = 'python3'
 needs_sphinx = '1.2'
 
 # Ignore any .rst files in the venv/ directory.
-exclude_patterns = ['venv/*']
+venvdir = os.getenv('VENVDIR', 'venv')
+exclude_patterns = [venvdir+'/*', 'README.rst']
 
 
 # Options for HTML output