diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-14 15:43:38 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-04-14 15:43:38 +0900 |
| commit | af4647c4927622ee53c7fb1a308d844bfa36bcac (patch) | |
| tree | 149587f7f321a208a858be80467d3c67fac770b2 /sphinx/theming.py | |
| parent | c35eb6fade7a3b4a6de4183d1dd4196f04a5edaf (diff) | |
| parent | 72762db255657f25e50dd14560b09e50bd5f0a67 (diff) | |
| download | sphinx-git-af4647c4927622ee53c7fb1a308d844bfa36bcac.tar.gz | |
Merge branch '1.7'
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 7287f7fc4..944c446c3 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 |