diff options
Diffstat (limited to 'utils/jssplitter_generator.py')
| -rw-r--r-- | utils/jssplitter_generator.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/utils/jssplitter_generator.py b/utils/jssplitter_generator.py index 6eef86cc3..e236f00d0 100644 --- a/utils/jssplitter_generator.py +++ b/utils/jssplitter_generator.py @@ -113,17 +113,17 @@ console.log(' ... ok\\n') ''' % js_src -python_src = ''' -"""# -*- coding: utf-8 -*- +python_src = '''# -*- coding: utf-8 -*- +""" sphinx.search.jssplitter ~~~~~~~~~~~~~~~~~~~~~~~~ Provides Python compatible word splitter to JavaScript + DO NOT EDIT. This is generated by utils/jssplitter_generator.py + :copyright: Copyright 2007-2016 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 = """ |