summaryrefslogtreecommitdiff
path: root/sphinx/builders/websupport.py
diff options
context:
space:
mode:
authorDaniel Neuhäuser <ich@danielneuhaeuser.de>2010-08-14 07:08:22 +0200
committerDaniel Neuhäuser <ich@danielneuhaeuser.de>2010-08-14 07:08:22 +0200
commit1f1ed85390a2e84a4757e9b226fcd1a1cb4f2199 (patch)
tree96a2e2e39d0b1dda7d07c63605be89c2a1fbe90b /sphinx/builders/websupport.py
parent134010e35734b986aa442a9e5047e5811dd1afa5 (diff)
parentd62d568a003e8079fc2d47a5d2e609b2c6b88f4f (diff)
downloadsphinx-git-1f1ed85390a2e84a4757e9b226fcd1a1cb4f2199.tar.gz
merge with jacobmason/sphinx-web-support
Diffstat (limited to 'sphinx/builders/websupport.py')
-rw-r--r--sphinx/builders/websupport.py4
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),