summaryrefslogtreecommitdiff
blob: d23055fba251b9196742846c12be414488367108 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
From 506bcd97fa1d20d1412d399353c38f0ff3546a1a Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Mon, 13 Apr 2020 23:26:09 +0200
Subject: [PATCH] Fix compilation of docs with Sphinx 3.0.1

https://github.com/pexpect/pexpect/issues/637
---
 doc/sphinxext/github.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/sphinxext/github.py b/doc/sphinxext/github.py
index 519e146..771dccc 100644
--- a/doc/sphinxext/github.py
+++ b/doc/sphinxext/github.py
@@ -146,7 +146,6 @@ def setup(app):
     
     :param app: Sphinx application context.
     """
-    app.info('Initializing GitHub plugin')
     app.add_role('ghissue', ghissue_role)
     app.add_role('ghpull', ghissue_role)
     app.add_role('ghuser', ghuser_role)
-- 
2.26.0