diff options
Diffstat (limited to 'sphinx/builders/manpage.py')
| -rw-r--r-- | sphinx/builders/manpage.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sphinx/builders/manpage.py b/sphinx/builders/manpage.py index f994309e1..b993a2df4 100644 --- a/sphinx/builders/manpage.py +++ b/sphinx/builders/manpage.py @@ -38,7 +38,7 @@ class ManualPageBuilder(Builder): epilog = __('The manual pages are in %(outdir)s.') default_translator_class = ManualPageTranslator - supported_image_types = [] # type: List[str] + supported_image_types: List[str] = [] def init(self) -> None: if not self.config.man_pages: @@ -56,10 +56,10 @@ class ManualPageBuilder(Builder): @progress_message(__('writing')) def write(self, *ignored: Any) -> None: docwriter = ManualPageWriter(self) - docsettings = OptionParser( + docsettings: Any = OptionParser( defaults=self.env.settings, components=(docwriter,), - read_config_files=True).get_default_values() # type: Any + read_config_files=True).get_default_values() for info in self.config.man_pages: docname, name, description, authors, section = info @@ -90,7 +90,7 @@ class ManualPageBuilder(Builder): encoding='utf-8') tree = self.env.get_doctree(docname) - docnames = set() # type: Set[str] + docnames: Set[str] = set() largetree = inline_all_toctrees(self, docnames, docname, tree, darkgreen, [docname]) largetree.settings = docsettings |