diff options
Diffstat (limited to 'debian/patches/debian/0002-html-output.patch')
| -rw-r--r-- | debian/patches/debian/0002-html-output.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/debian/0002-html-output.patch b/debian/patches/debian/0002-html-output.patch new file mode 100644 index 0000000..e703d32 --- /dev/null +++ b/debian/patches/debian/0002-html-output.patch @@ -0,0 +1,20 @@ +Author: Carl Suster <carl@contraflo.ws> +Description: + 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. + +diff -Naurp terminaltables.orig/docs/conf.py terminaltables/docs/conf.py +--- terminaltables.orig/docs/conf.py ++++ terminaltables/docs/conf.py +@@ -27,7 +27,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 |