From 65879aed053c7b31ef8b9e1701914093cec40c1d Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 12 Feb 2025 15:00:50 +0100 Subject: [PATCH] Refreshing html-output.patch. Signed-off-by: Daniel Baumann --- debian/patches/debian/0002-html-output.patch | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/debian/patches/debian/0002-html-output.patch b/debian/patches/debian/0002-html-output.patch index e703d32..aa8f349 100644 --- a/debian/patches/debian/0002-html-output.patch +++ b/debian/patches/debian/0002-html-output.patch @@ -6,15 +6,15 @@ Description: 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 +diff -Naurp terminaltables3.orig/docs/conf.py terminaltables3/docs/conf.py +--- terminaltables3.orig/docs/conf.py ++++ terminaltables3/docs/conf.py @@ -27,7 +27,7 @@ html_context = dict( - github_version=os.environ.get('TRAVIS_BRANCH', 'master'), - source_suffix='.rst', + 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_favicon = "favicon.ico" + html_theme = "sphinx_rtd_theme" html_title = project