diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-03-14 01:03:02 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-03-14 01:03:02 +0900 |
| commit | 40446f594936376166070b34bb03027a3bf4be83 (patch) | |
| tree | e4fb19109879a29004926708f815df64b90d5eaa /sphinx/io.py | |
| parent | b9d6e0a211151a7ecbe3ed3a7effec2738fa7115 (diff) | |
| download | sphinx-git-40446f594936376166070b34bb03027a3bf4be83.tar.gz | |
Fix mypy violations
Diffstat (limited to 'sphinx/io.py')
| -rw-r--r-- | sphinx/io.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/io.py b/sphinx/io.py index c0b725884..8f1da22bd 100644 --- a/sphinx/io.py +++ b/sphinx/io.py @@ -289,7 +289,7 @@ def read_doc(app, env, filename): source_class=SphinxDummySourceClass, destination=NullOutput()) pub.set_components(None, 'restructuredtext', None) - pub.process_programmatic_settings(None, env.settings, None) # type: ignore + pub.process_programmatic_settings(None, env.settings, None) pub.set_source(source, filename) pub.publish() return pub.document |