1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
|
From: =?utf-8?q?Rapha=C3=ABl_Hertzog?= <hertzog@debian.org>
Date: Sun, 11 Oct 2015 11:43:19 +1100
Subject: Disable creation of _sources directory by Sphinx
We do this to save some space as the sources of the documentation
are not really useful in a binary package.
.
This is a Debian specific patch.
Forwarded: not-needed
Origin: vendor
Patch-Name: 02_disable-sources-in-sphinxdoc.diff
---
docs/conf.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/docs/conf.py b/docs/conf.py
index 62e337d..ceb935f 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -210,7 +210,10 @@ html_additional_pages = {}
# html_split_index = False
# If true, links to the reST sources are added to the pages.
-# html_show_sourcelink = True
+html_show_sourcelink = False
+
+# Do not ship a copy of the sources
+html_copy_source = False
# If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
# html_show_sphinx = True
|