summaryrefslogtreecommitdiff
path: root/sphinx/theming.py
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-04-14 15:26:53 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2018-04-14 15:26:53 +0900
commit779d25f7f19839bba8fecfcf464dc3c56cab91c5 (patch)
treee887ea9a0c14fff0f1cbc119c166d3f64e17135e /sphinx/theming.py
parent5433d5c03d2fa4cae8c233810bbb9af4e598f1db (diff)
downloadsphinx-git-779d25f7f19839bba8fecfcf464dc3c56cab91c5.tar.gz
Fix mypy violations
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r--sphinx/theming.py4
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