diff options
Diffstat (limited to 'sphinx/writers/html.py')
-rw-r--r-- | sphinx/writers/html.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/writers/html.py b/sphinx/writers/html.py index 50816bcf6..ad8bf7a68 100644 --- a/sphinx/writers/html.py +++ b/sphinx/writers/html.py @@ -13,8 +13,8 @@ import os import posixpath import sys import warnings +from typing import Any, Iterable, Tuple from typing import cast -from typing import Iterable, Tuple from docutils import nodes from docutils.nodes import Element, Node, Text @@ -73,7 +73,7 @@ class HTMLTranslator(SphinxTranslator, BaseTranslator): builder = None # type: StandaloneHTMLBuilder - def __init__(self, *args) -> None: + def __init__(self, *args: Any) -> None: if isinstance(args[0], nodes.document) and isinstance(args[1], Builder): document, builder = args else: |