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

diff --git a/Doc/conf.py b/Doc/conf.py
index d4ee50de7db97b2e61d1136abab6c350b38b035c..f7073d116a48bf3d63b780ebd88b0f26dd184fa6 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/*', 'README.rst']
+venvdir = os.getenv('VENVDIR', 'venv')
+exclude_patterns = [venvdir+'/*', 'README.rst']
 
 
 # Options for HTML output