diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/checks.py | 3 | ||||
| -rw-r--r-- | utils/doclinter.py | 3 | ||||
| -rw-r--r-- | utils/jssplitter_generator.py | 3 |
3 files changed, 0 insertions, 9 deletions
diff --git a/utils/checks.py b/utils/checks.py index 093817409..6798fde01 100644 --- a/utils/checks.py +++ b/utils/checks.py @@ -1,7 +1,4 @@ """ - utils.checks - ~~~~~~~~~~~~ - Custom, Sphinx-only flake8 plugins. :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS. diff --git a/utils/doclinter.py b/utils/doclinter.py index b4b27748a..ed61b9c97 100644 --- a/utils/doclinter.py +++ b/utils/doclinter.py @@ -1,7 +1,4 @@ """ - utils.doclinter - ~~~~~~~~~~~~~~~ - A linter for Sphinx docs :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS. diff --git a/utils/jssplitter_generator.py b/utils/jssplitter_generator.py index 7806d64d2..0e95cfe56 100644 --- a/utils/jssplitter_generator.py +++ b/utils/jssplitter_generator.py @@ -113,9 +113,6 @@ console.log(' ... ok\\n') python_src = '''\ """ - sphinx.search.jssplitter - ~~~~~~~~~~~~~~~~~~~~~~~~ - Provides Python compatible word splitter to JavaScript DO NOT EDIT. This is generated by utils/jssplitter_generator.py |