diff options
Diffstat (limited to 'utils/jssplitter_generator.py')
| -rw-r--r-- | utils/jssplitter_generator.py | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/utils/jssplitter_generator.py b/utils/jssplitter_generator.py index 7806d64d2..f0918ec3f 100644 --- a/utils/jssplitter_generator.py +++ b/utils/jssplitter_generator.py @@ -112,16 +112,9 @@ console.log(' ... ok\\n') ''' % js_src python_src = '''\ -""" - sphinx.search.jssplitter - ~~~~~~~~~~~~~~~~~~~~~~~~ - - Provides Python compatible word splitter to JavaScript - - DO NOT EDIT. This is generated by utils/jssplitter_generator.py +"""Provides Python compatible word splitter to JavaScript - :copyright: Copyright 2007-2019 by the Sphinx team, see AUTHORS. - :license: BSD, see LICENSE for details. +DO NOT EDIT. This is generated by utils/jssplitter_generator.py """ splitter_code = """ |