diff --git a/sphinx/search/jssplitter.py b/sphinx/search/jssplitter.py index a3bd8b767..9dc0ca6e7 100644 --- a/sphinx/search/jssplitter.py +++ b/sphinx/search/jssplitter.py @@ -1,14 +1,14 @@ - -"""# -*- coding: utf-8 -*- +# -*- 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 = """ 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 = """