diff options
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index 2e05da5be..16e3a82bd 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -176,8 +176,8 @@ class WebSupportBuilder(StandaloneHTMLBuilder): 'FILE_SUFFIX': '', 'HAS_SOURCE': ctx['has_source'] } - scripts = [make_script('_static/websupport.js')] - scripts += [make_script(file) for file in ctx['script_files']] + scripts = [make_script(file) for file in ctx['script_files']] + scripts.append(make_script('_static/websupport.js')) return '\n'.join([ '<script type="text/javascript">' 'var DOCUMENTATION_OPTIONS = %s;' % dump_json(opts), |