From 36c7e2f0d0c7e9e84aec059d9f4892dcc5a6955b Mon Sep 17 00:00:00 2001
From: FX Coudert <fxcoudert@gmail.com>
Date: Tue, 16 Apr 2019 21:48:07 +0200
Subject: [PATCH] Fix build with recent sphinx

`app.info()` was deprecated on Jan 4, 2017 (sphinx-doc/sphinx#3267), and removed as of Sphinx 2.0.0.
---
 docs/src/sphinx-plugins/manpage.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/src/sphinx-plugins/manpage.py b/docs/src/sphinx-plugins/manpage.py
index 1d1dc379f41..bb597e28011 100644
--- a/docs/src/sphinx-plugins/manpage.py
+++ b/docs/src/sphinx-plugins/manpage.py
@@ -39,7 +39,6 @@ def man_role(name, rawtext, text, lineno, inliner, options={}, content=[]):
 
 
 def setup(app):
-    app.info('Initializing manpage plugin')
     app.add_role('man', man_role)
     app.add_config_value('man_url_regex', None, 'env')
     return