From c8ceb1cf8f14e5f6ad0a8e94d4a9799fbd7f37c6 Mon Sep 17 00:00:00 2001
From: Christoph Berg <christoph.berg@credativ.de>
Date: Mon, 13 Jul 2020 17:16:34 +0200
Subject: [PATCH] debian: Add patch to remove sphinx theme options on bionic

---
 debian/patches/bionic-theme-options | 14 ++++++++++++++
 debian/patches/series               |  1 +
 2 files changed, 15 insertions(+)
 create mode 100644 debian/patches/bionic-theme-options
 create mode 100644 debian/patches/series

diff --git a/debian/patches/bionic-theme-options b/debian/patches/bionic-theme-options
new file mode 100644
index 0000000..7ffbf07
--- /dev/null
+++ b/debian/patches/bionic-theme-options
@@ -0,0 +1,14 @@
+--- a/docs/conf.py
++++ b/docs/conf.py
+@@ -92,11 +92,6 @@ html_theme = 'sphinx_rtd_theme'
+ #
+ # html_theme_options = {}
+ html_theme_options = {
+-    'github_user': 'dimitri',
+-    'github_repo': 'pgloader',
+-    'description': 'your migration companion',
+-    'travis_button': True,
+-    'show_related': True,
+     #'sidebar_collapse': False,
+ }
+ 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..79dacff
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+#bionic-theme-options