diff options
Diffstat (limited to 'sphinx/builders/manpage.py')
| -rw-r--r-- | sphinx/builders/manpage.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/manpage.py b/sphinx/builders/manpage.py index 94b312e36..432ae0afa 100644 --- a/sphinx/builders/manpage.py +++ b/sphinx/builders/manpage.py @@ -56,7 +56,7 @@ class ManualPageBuilder(Builder): raise NoUri @progress_message(__('writing')) - def write(self, *ignored) -> None: + def write(self, *ignored: Any) -> None: docwriter = ManualPageWriter(self) docsettings = OptionParser( defaults=self.env.settings, |