Do not copy docs source to html build

Author: m-aciek

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

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 %}
   <script>
     document.addEventListener('DOMContentLoaded', () => {
         const title = document.querySelector('meta[property="og:title"]').content;