Exclude non-default VENVDIR in Doc builds (#3974)

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