diff --git a/debian/patches/docs-conf.py-Use-sphinx_rtd_theme-instead.patch b/debian/patches/docs-conf.py-Use-sphinx_rtd_theme-instead.patch deleted file mode 100644 index 7a0d153..0000000 --- a/debian/patches/docs-conf.py-Use-sphinx_rtd_theme-instead.patch +++ /dev/null @@ -1,25 +0,0 @@ -From: Carsten Schoenert -Date: Mon, 12 Feb 2024 09:39:42 +0100 -Subject: docs/conf.py: Use sphinx_rtd_theme instead - -The used theme by upstream (pydata_sphinx_theme) isn't packaged in -Debian, falling back than to the classical RTD theme. - -Forwarded: not-needed ---- - docs/conf.py | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/docs/conf.py b/docs/conf.py -index fa5647a..337135c 100644 ---- a/docs/conf.py -+++ b/docs/conf.py -@@ -84,7 +84,7 @@ todo_include_todos = False - # a list of builtin themes. - # - --html_theme = "pydata_sphinx_theme" -+html_theme = "sphinx_rtd_theme" - html_logo = "_static/logo_short.png" - - # Theme options are theme-specific and customize the look and feel of a theme diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 607b951..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -docs-conf.py-Use-sphinx_rtd_theme-instead.patch diff --git a/debian/source/format b/debian/source/format index 163aaf8..89ae9db 100644 --- a/debian/source/format +++ b/debian/source/format @@ -1 +1 @@ -3.0 (quilt) +3.0 (native)