diff options
Diffstat (limited to 'docs/src/sphinx-plugins/manpage.py')
| -rw-r--r-- | docs/src/sphinx-plugins/manpage.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/src/sphinx-plugins/manpage.py b/docs/src/sphinx-plugins/manpage.py index 1d1dc379..bb597e28 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 |