mirrors/pgloader
1
0
Fork 0
mirror of https://github.com/dimitri/pgloader.git synced 2026-05-04 18:36:12 +02:00
Code Issues Projects Releases Wiki Activity

debian: Add patch to remove sphinx theme options on bionic

Browse Source
This commit is contained in:
Christoph Berg 2020-07-13 17:16:34 +02:00
parent 2100690402
commit c8ceb1cf8f
2 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
debian/patches/bionic-theme-options vendored Normal file
View File

@ -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,
}

1
debian/patches/series vendored Normal file
View File

@ -0,0 +1 @@
#bionic-theme-options