blob: d23055fba251b9196742846c12be414488367108 [file] [log] [blame]
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