# HG changeset patch
# User Charles Hébert
# Date 1261145215 -3600
# Node ID ba6c316e3d9c3f9f645006febdfd7701363c4886
# Parent  637170c1764362e52ec46d85d358d6f097960d66
Add the search javascript to the html layout

diff -r 637170c17643 -r ba6c316e3d9c doc/book/en/.templates/layout.html
--- a/doc/book/en/.templates/layout.html	Wed Dec 16 14:19:01 2009 +0100
+++ b/doc/book/en/.templates/layout.html	Fri Dec 18 15:06:55 2009 +0100
@@ -111,6 +111,7 @@
     <script type="text/javascript" src="{{ pathto('_static/jquery.js', 1) }}"></script>
     <script type="text/javascript" src="{{ pathto('_static/interface.js', 1) }}"></script>
     <script type="text/javascript" src="{{ pathto('_static/doctools.js', 1) }}"></script>
+    <script type="text/javascript" src="{{ pathto('_static/searchtools.js', 1) }}"></script>
     {%- if use_opensearch %}
     <link rel="search" type="application/opensearchdescription+xml"
           title="Search within {{ docstitle }}"