diff options
author | Yaroslav Halchenko <debian@onerussian.com> | 2023-12-14 22:51:37 +0100 |
---|---|---|
committer | Étienne Mollier <emollier@debian.org> | 2023-12-14 22:51:37 +0100 |
commit | 4ac0d7cf1c2b1b90a3cac44a45262952b76ce291 (patch) | |
tree | 541bdaa83feb2dcae794c629274193a831af7777 | |
parent | 44079317d6c26e906f47a008a6c6cf44dff9c45c (diff) |
prevent inclusion of _sources which obscures offline search
Gbp-Pq: Name deb_no_sources_for_docs
-rw-r--r-- | doc/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 8da8ad2..29eeb1f 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -120,6 +120,9 @@ today_fmt = '%B %d, %Y, %H:%M PDT' # for source files. exclude_trees = ['_build'] +# If true, the reST sources are included in the HTML build as _sources/<name>. +html_copy_source = False + # The reST default role (used for this markup: `text`) to use for all documents. #default_role = None |