docs: remove unused sphinx extensions

cyrusimap · Aug 7, 2023 · bf96543 · bf96543
1 parent ff9254a
commit bf96543
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 208 deletions.
diff --git a/docsrc/conf.py b/docsrc/conf.py
@@ -47,7 +47,6 @@
     'sphinx.ext.intersphinx',
 ]
 
-extensions.append('sphinxlocal.builders.manpage')
 extensions.append('sphinxlocal.roles.cyrusman')
 extensions.append('sphinxlocal.builders.gitstamp')
 

diff --git a/docsrc/exts/sphinxlocal/builders/manpage.py b/docsrc/exts/sphinxlocal/builders/manpage.py
diff --git a/docsrc/exts/sphinxlocal/writers/__init__.py b/docsrc/exts/sphinxlocal/writers/__init__.py
diff --git a/docsrc/exts/sphinxlocal/writers/manpage.py b/docsrc/exts/sphinxlocal/writers/manpage.py