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>2019-10-06 12:18:12 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2019-10-06 12:21:27 +0300
commitaf09cd0e359887d50c8c102808bf9b71eca3d36d (patch)
treeec155b73993f64b1aef4fd003bfd1d7dcb46d1a0 /sphinx/io.py
parent8912ee0af0734e92b69a947a22b31c5a1187e584 (diff)
Fix mypy violations (for mypy-0.730)
Diffstat (limited to 'sphinx/io.py')
-rw-r--r--sphinx/io.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/io.py b/sphinx/io.py
index 5bf2d60da..80c03bb51 100644
--- a/sphinx/io.py
+++ b/sphinx/io.py
@@ -306,10 +306,10 @@ def read_doc(app, env, filename):
# Sphinx-1.8 style
source = input_class(app, env, source=None, source_path=filename, # type: ignore
encoding=env.config.source_encoding)
- pub = Publisher(reader=reader, # type: ignore
+ pub = Publisher(reader=reader,
parser=parser,
writer=SphinxDummyWriter(),
- source_class=SphinxDummySourceClass,
+ source_class=SphinxDummySourceClass, # type: ignore
destination=NullOutput())
pub.process_programmatic_settings(None, env.settings, None)
pub.set_source(source, filename)