Fix search on

Thanks to Roger Labbe for reporting this and Sergiu Deitsch for
debugging it

Change-Id: I7f53b339a1e4d6862b341c60bcf81b77770052bf
diff --git a/docs/source/ b/docs/source/
index e206a35..faa2403 100644
--- a/docs/source/
+++ b/docs/source/
@@ -25,7 +25,7 @@
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.todo', 'sphinx.ext.mathjax', 'sphinx.ext.ifconfig']
+extensions = ['sphinx.ext.todo', 'sphinx.ext.mathjax', 'sphinx.ext.ifconfig', 'sphinxcontrib.jquery']
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']
diff --git a/scripts/ b/scripts/
index 518c319..9eab97e 100644
--- a/scripts/
+++ b/scripts/
@@ -60,7 +60,7 @@
   sphinx_exe = sys.argv[3]
 # Run Sphinx to build the documentation.
-os.system('%s -n -b html -d %s %s %s' %(sphinx_exe, cache_dir, src_dir, html_dir))
+os.system('%s -n -a -d %s %s %s' %(sphinx_exe, cache_dir, src_dir, html_dir))
 replacements = [
   # The title for the homepage is not ideal, so change it.