diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-14 09:26:53 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-14 09:26:53 +0300 |
commit | 779d25f7f19839bba8fecfcf464dc3c56cab91c5 (patch) | |
tree | e887ea9a0c14fff0f1cbc119c166d3f64e17135e /sphinx/theming.py | |
parent | 5433d5c03d2fa4cae8c233810bbb9af4e598f1db (diff) |
Fix mypy violations
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r-- | sphinx/theming.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/theming.py b/sphinx/theming.py index 33c4c76be..7a4720e0c 100644 --- a/sphinx/theming.py +++ b/sphinx/theming.py @@ -43,7 +43,7 @@ def extract_zip(filename, targetdir): """Extract zip file to target directory.""" ensuredir(targetdir) - with ZipFile(filename) as archive: # type: ignore + with ZipFile(filename) as archive: for name in archive.namelist(): if name.endswith('/'): continue @@ -155,7 +155,7 @@ def is_archived_theme(filename): # type: (unicode) -> bool """Check the specified file is an archived theme file or not.""" try: - with ZipFile(filename) as f: # type: ignore + with ZipFile(filename) as f: return THEMECONF in f.namelist() except Exception: return False |