rtfd/readthedocs.org — pull request #268 by julen (2012-10-01 20:56:09+00:00)
Title: Revive faceted search and avoid unneeded searches in docs.

There was an odd thing here: two scripts, one from RTD
(instantsearch.js) and another one from Sphinx (searchtools.js), define
a Search object which has an init function.

This function was called right in rtd.js, which was decoupled in
f6420bac35, and since the initialization function was only called in the
generated docs, faceted searches didn't work. The call to the
confusingly-named Search.init has been moved to the faceted search
template.

Also, the RTD theme was including searchtools.js twice: first in the
main layout.html, and after in search.html. Because RTD's theme extends
the Sphinx's 'basic' theme (most of the existing themes out there do the
same), and its search template already includes this script, it wasn't
necessary to include it again.