From a836d7911193752d5fa27e3f101941ab339bd986 Mon Sep 17 00:00:00 2001 From: "Miss Islington (bot)" <31488909+miss-islington@users.noreply.github.com> Date: Mon, 10 Apr 2023 23:26:07 -0700 Subject: [PATCH] Docs: don't render files in includes/, they're for embedding only (GH-103313) (cherry picked from commit 280bd536b58d3e844047cd132159cf9f6cb66708) Co-authored-by: Hugo van Kemenade --- Doc/conf.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Doc/conf.py b/Doc/conf.py index 982d6b40f66e..18aff5d58ce8 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -63,8 +63,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 + '/*') -- 2.47.3