summaryrefslogtreecommitdiffstats
path: root/debian/patches/0002-enable-Sphinx-html_copy_source.patch
blob: 29066db8f68d9a9dd003dcac28851eb439cce728 (plain)
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
From: Carl Suster <carl@contraflo.ws>
Date: Sat, 7 Jan 2017 14:39:14 +1100
Subject: enable Sphinx html_copy_source

We would like for the HTML source files to be installed, and they are
needed for the search page. In theory this could be done by passing an
argument `-Dhtml_copy_source=1` in debian/rules, however this causes
HAS_SOURCE to be equal to 1 instead of True so dh_sphinxdoc fails with a
"doesn't look like a Sphinc search page" error.

Forwarded: no
---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 7580d0c..12ab980 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -26,7 +26,7 @@ html_context = dict(
     github_version=os.environ.get('TRAVIS_BRANCH', 'master'),
     source_suffix='.rst',
 )
-html_copy_source = False
+html_copy_source = True
 html_favicon = 'favicon.ico'
 html_theme = 'sphinx_rtd_theme'
 html_title = project