diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-12-12 19:33:14 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-12-14 20:42:42 +0300 |
commit | 53917f228f9bfbb4607b6441119baeb129869b93 (patch) | |
tree | 4e87e2e8a2fc209f74a3675dc0f079bda78b6a3b /sphinx/util/fileutil.py | |
parent | f8a2e7aa8af27b9d90330d9d795ef20fe0158001 (diff) |
Move to py3 mode for mypy (and remove many "type: ignore" comments)
Diffstat (limited to 'sphinx/util/fileutil.py')
-rw-r--r-- | sphinx/util/fileutil.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/util/fileutil.py b/sphinx/util/fileutil.py index 0a77ecef7..df6bd051b 100644 --- a/sphinx/util/fileutil.py +++ b/sphinx/util/fileutil.py @@ -49,10 +49,10 @@ def copy_asset_file(source, destination, context=None, renderer=None): from sphinx.util.template import SphinxRenderer renderer = SphinxRenderer() - with open(source, encoding='utf-8') as fsrc: # type: ignore + with open(source, encoding='utf-8') as fsrc: if destination.lower().endswith('_t'): destination = destination[:-2] - with open(destination, 'w', encoding='utf-8') as fdst: # type: ignore + with open(destination, 'w', encoding='utf-8') as fdst: fdst.write(renderer.render_string(fsrc.read(), context)) else: copyfile(source, destination) |