diff options
Diffstat (limited to 'sphinx/util/docutils.py')
| -rw-r--r-- | sphinx/util/docutils.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sphinx/util/docutils.py b/sphinx/util/docutils.py index 0fb544f49..a1ae3b31e 100644 --- a/sphinx/util/docutils.py +++ b/sphinx/util/docutils.py @@ -185,6 +185,14 @@ class LoggingReporter(Reporter): stream, debug, error_handler=error_handler) +class NullReporter(Reporter): + """A dummy reporter; write nothing.""" + + def __init__(self): + # type: () -> None + Reporter.__init__(self, '', 999, 4) + + def is_html5_writer_available(): # type: () -> bool return __version_info__ > (0, 13, 0) |