diff options
| author | danieleades <33452915+danieleades@users.noreply.github.com> | 2022-07-18 22:08:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-18 22:08:16 +0100 |
| commit | a504ac6100a577cbda1bedf80d69636603ee287c (patch) | |
| tree | 0aa79585440486bdb109f7238f8f5c992dad0d99 /sphinx/builders/html | |
| parent | a340427ba4d208193d539cb7e8401be23d75547e (diff) | |
| download | sphinx-git-a504ac6100a577cbda1bedf80d69636603ee287c.tar.gz | |
Improve static typing strictness (#10569)
Diffstat (limited to 'sphinx/builders/html')
| -rw-r--r-- | sphinx/builders/html/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/html/__init__.py b/sphinx/builders/html/__init__.py index cfd4b5c96..e65ef18fa 100644 --- a/sphinx/builders/html/__init__.py +++ b/sphinx/builders/html/__init__.py @@ -823,7 +823,7 @@ class StandaloneHTMLBuilder(Builder): if jsfile: copyfile(jsfile, path.join(self.outdir, '_static', '_stemmer.js')) - def copy_theme_static_files(self, context: Dict) -> None: + def copy_theme_static_files(self, context: Dict[str, Any]) -> None: def onerror(filename: str, error: Exception) -> None: logger.warning(__('Failed to copy a file in html_static_file: %s: %r'), filename, error) |