diff options
Diffstat (limited to 'sphinx/builders/texinfo.py')
| -rw-r--r-- | sphinx/builders/texinfo.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/texinfo.py b/sphinx/builders/texinfo.py index 16f81c666..ac697f563 100644 --- a/sphinx/builders/texinfo.py +++ b/sphinx/builders/texinfo.py @@ -90,7 +90,7 @@ class TexinfoBuilder(Builder): docname = docname[:-5] self.titles.append((docname, entry[2])) - def write(self, *ignored) -> None: + def write(self, *ignored: Any) -> None: self.init_document_data() for entry in self.document_data: docname, targetname, title, author = entry[:4] |