From 8fca4392bf55abfc8e244cf80d73f9dcbc109545 Mon Sep 17 00:00:00 2001 From: Maciej Olko Date: Sun, 13 Sep 2026 21:16:11 +0200 Subject: [PATCH 1/4] Do not copy docs source to html build --- Doc/conf.py | 3 +++ Doc/tools/templates/customsourcelink.html | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/Doc/conf.py b/Doc/conf.py index c768e6fd676a5a..053c14b708f750 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -306,6 +306,9 @@ # Path to find HTML templates to override theme templates_path = ['tools/templates'] +# Link to sources on GitHub instead of copying them into the HTML output. +html_copy_source = False + # Custom sidebar templates, filenames relative to this file. html_sidebars = { # Defaults taken from https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-html_sidebars diff --git a/Doc/tools/templates/customsourcelink.html b/Doc/tools/templates/customsourcelink.html index 8feeed2fee3650..c44b8774a0831b 100644 --- a/Doc/tools/templates/customsourcelink.html +++ b/Doc/tools/templates/customsourcelink.html @@ -1,4 +1,4 @@ -{%- if show_source and has_source and sourcename %} +{%- if show_source and page_source_suffix is defined %}