From 280bd536b58d3e844047cd132159cf9f6cb66708 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Tue, 11 Apr 2023 09:17:34 +0300 Subject: Docs: don't render files in includes/, they're for embedding only (#103313) --- Doc/conf.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Doc/conf.py b/Doc/conf.py index 29fb63c..e99b801 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -68,8 +68,10 @@ highlight_language = 'python3' # Minimum version of sphinx required needs_sphinx = '3.2' +# Ignore any .rst files in the includes/ directory; +# they're embedded in pages but not rendered individually. # Ignore any .rst files in the venv/ directory. -exclude_patterns = ['venv/*', 'README.rst'] +exclude_patterns = ['includes/*.rst', 'venv/*', 'README.rst'] venvdir = os.getenv('VENVDIR') if venvdir is not None: exclude_patterns.append(venvdir + '/*') -- cgit v0.12