From 3a21a53e5f10a1b3a6a06ade8d142a9c14ebcd11 Mon Sep 17 00:00:00 2001 From: Ned Deily Date: Thu, 12 Oct 2017 16:28:47 -0400 Subject: [PATCH] Exclude non-default VENVDIR in Doc builds --- Doc/Makefile | 2 +- Doc/conf.py | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index da3274396eb5e0..7f3e216c70e8fd 100644 --- 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 b3f26d5a692163..4145fd5a90a772 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -37,7 +37,8 @@ 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