# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778689064 -7200
# Node ID 1f076d7c721d62e272dcd506fc42e2a3f9f1d1e9
# Parent  4a4d1323b2826aebfa586ab2a18fedd5793057be
Docs: do not copy sources

diff -r 4a4d1323b282 -r 1f076d7c721d docs/conf.py
--- a/docs/conf.py	Mon Feb 19 16:11:48 2024 +0100
+++ b/docs/conf.py	Wed May 13 18:17:44 2026 +0200
@@ -120,6 +120,7 @@
 #
 # html_sidebars = {}
 
+html_copy_source = False
 html_show_sourcelink = False