diff options
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 |