File: 0001-doc-remove-github-banner-to-avoid-lintian-warnings.patch

package info (click to toggle)
tuiwidgets 0.2.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 16,604 kB
  • sloc: cpp: 70,858; python: 508; sh: 32; makefile: 8
file content (21 lines) | stat: -rw-r--r-- 525 bytes parent folder | download | duplicates (2) 
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 2dde725..87338d6 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -60,6 +60,7 @@ html_theme_options = {
     'github_user': 'tuiwidgets',
     'github_repo': 'tuiwidgets',
     'github_banner': True,
+    'github_button': False,
     'body_max_width': 950,
 }