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 <hugovk@users.noreply.github.com>

diff --git a/Doc/conf.py b/Doc/conf.py
index 982d6b40f66edf3ab5ad829e42c22656f5c1bdeb..18aff5d58ce89bd9fd37444792acae5cd0e02062 100644 (file)
--- 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 + '/*')