diff options
| author | Michael Hanke <michael.hanke@gmail.com> | 2024-02-28 13:46:37 +0100 |
|---|---|---|
| committer | Étienne Mollier <emollier@debian.org> | 2024-02-28 13:46:37 +0100 |
| commit | c6ad64891a5a99840f737c2f0ffc258efbb47832 (patch) | |
| tree | 055d02f62956191704bee1523aaf752caae050a5 | |
| parent | ff1b5bc39499ef5d8258845b239e9b3bb3637ba4 (diff) | |
Do not put links to source documentation source in HTML files
Forwarded: not-needed
Documentation source files are not shipped in the binary package, because
the are not very useful and occupy space, hence these links would be broken.
Gbp-Pq: Name no_doc_sources
| -rw-r--r-- | doc/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/conf.py b/doc/source/conf.py index 6a8e905c..cc1967c3 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -233,7 +233,7 @@ html_sidebars = { # html_split_index = False # If true, links to the reST sources are added to the pages. -html_show_sourcelink = True +html_show_sourcelink = False # If true, an OpenSearch description file will be output, and all pages will # contain a <link> tag referring to it. The value of this option must be the |