From a15f7aad5df29a780dde442155e29b940f671ce2 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 16 Sep 2022 16:20:52 +0200 Subject: Renumbering patches. Signed-off-by: Daniel Baumann --- debian/patches/debian/0002-html-output.patch | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 debian/patches/debian/0002-html-output.patch (limited to 'debian/patches/debian/0002-html-output.patch') 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 +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 -- cgit v1.2.3