diff options
| -rw-r--r-- | Doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index c4ae16a205..aaee983984 100644 --- 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 |