Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2017-05-07 08:09:54 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2017-05-07 08:28:41 +0300
commit579a79660e843cd86278832c9aad3fec8f8a5fb3 (patch)
tree8c8054180b4ec2a0cf05c784add2e7d85de7d406 /sphinx/util/fileutil.py
parent3b69c51897fcaea5db573e7c25ce56c03ebac5a7 (diff)
Update type annotations for new mypy
Diffstat (limited to 'sphinx/util/fileutil.py')
-rw-r--r--sphinx/util/fileutil.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/fileutil.py b/sphinx/util/fileutil.py
index 772e41331..04fd338b7 100644
--- a/sphinx/util/fileutil.py
+++ b/sphinx/util/fileutil.py
@@ -51,7 +51,7 @@ def copy_asset_file(source, destination, context=None, renderer=None):
if destination.lower().endswith('_t'):
destination = destination[:-2]
with codecs.open(destination, 'w', encoding='utf-8') as fdst: # type: ignore
- fdst.write(renderer.render_string(fsrc.read(), context)) # type: ignore
+ fdst.write(renderer.render_string(fsrc.read(), context))
else:
copyfile(source, destination)