Fix search for sphinx 1.5.1 (apache#4579)

* Fix search for sphinx 1.5.1 * Small fix
atsyplikhin · Jan 7, 2017 · 614fd94 · 614fd94
1 parent 9f9c135
commit 614fd94
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 654 deletions.
diff --git a/docs/_static/mxnet-theme/layout.html b/docs/_static/mxnet-theme/layout.html
@@ -52,14 +52,14 @@
         VERSION:     '{{ release|e }}',
         COLLAPSE_INDEX: false,
         FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}',
-        HAS_SOURCE:  {{ has_source|lower }}
+        HAS_SOURCE:  {{ has_source|lower }},
+        SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}'
       };
     </script>
 
     <script type="text/javascript" src="{{ pathto('_static/jquery-1.11.1.js', 1) }}"></script>
-    <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
 
-    {% for name in ['underscore.js', 'doctools.js', 'selectlang.js'] %}
+    {% for name in ['underscore.js', 'searchtools.js', 'doctools.js', 'selectlang.js'] %}
     <script type="text/javascript" src="{{ pathto('_static/' + name, 1) }}"></script>
     {% endfor %}