diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-14 15:41:22 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-14 15:41:22 +0900 |
| commit | 72762db255657f25e50dd14560b09e50bd5f0a67 (patch) | |
| tree | e887ea9a0c14fff0f1cbc119c166d3f64e17135e /sphinx/theming.py | |
| parent | 5433d5c03d2fa4cae8c233810bbb9af4e598f1db (diff) | |
| parent | 779d25f7f19839bba8fecfcf464dc3c56cab91c5 (diff) | |
| download | sphinx-git-72762db255657f25e50dd14560b09e50bd5f0a67.tar.gz | |
Merge pull request #4839 from tk0miya/mypy-0.590
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 |