Docs: don't render files in includes/, they're for embedding only (#103313)

diff --git a/Doc/conf.py b/Doc/conf.py
index 29fb63cbcc8614aa038ccad7c602f2a539b2b0e6..e99b801d0ae87a9a9344ff7f2280b49af7fcd4c1 100644 (file)
--- 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 + '/*')