diff options
author | shimizukawa <shimizukawa@gmail.com> | 2019-01-13 16:41:26 +0300 |
---|---|---|
committer | shimizukawa <shimizukawa@gmail.com> | 2019-01-13 16:41:58 +0300 |
commit | dc6b586c5dcf2cdbfea266f78c105c7a348f3292 (patch) | |
tree | ac82c2796523bf77f40f1cfce287513e21addd74 /sphinx/io.py | |
parent | cdc5241a3bcf2d9c47a095538a1824d4ede7a334 (diff) |
Publisher requires destination parameter.
This change fixes a bug that introduced at de49b991f635.
Diffstat (limited to 'sphinx/io.py')
-rw-r--r-- | sphinx/io.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/io.py b/sphinx/io.py index 3544a751b..9cc9f44e4 100644 --- a/sphinx/io.py +++ b/sphinx/io.py @@ -316,7 +316,8 @@ def read_doc(app, env, filename): pub = Publisher(reader=reader, parser=parser, writer=SphinxDummyWriter(), - source_class=SphinxFileInput) + source_class=SphinxFileInput, + destination=NullOutput()) pub.process_programmatic_settings(None, env.settings, None) pub.set_source(source_path=filename) |