1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
From: Christoph Hueffelmann <chr@istoph.de>
Date: Wed, 18 Jan 2023 22:24:09 +0100
Subject: doc-remove-github-banner-to-avoid-lintian-warnings
Forwarded: not-needed
---
doc/conf.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/conf.py b/doc/conf.py
index 82c75d1..d79ccb4 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -64,6 +64,7 @@ html_theme_options = {
'github_user': 'tuiwidgets',
'github_repo': 'tuiwidgets',
'github_banner': True,
+ 'github_button': False,
'body_max_width': 950,
}
|
