searchtools.js missing init() call

[malarzm]

It seems like something is off with generating searchtools.js, it's ending with

/* Search initialization removed for Read the Docs */

instead of

$(document).ready(function() {
  Search.init();
});

Cross-referencing: doctrine/doctrine-sphinx-theme#14

Details

• Project URL: http://docs.doctrine-project.org/projects/doctrine-mongodb-odm/
• Build URL (if applicable): https://readthedocs.org/projects/doctrine-mongodb-odm/builds/6583841/
• Read the Docs username (if applicable): malarzm

Expected Result

Working search

Actual Result

Not working search

[agjohnson]

Not sure of the actual issue here. This removal is on purpose, as we monkey patch the Sphinx included search with our search index. Closing this for now.

[malarzm]

@agjohnson can you please tell more about about the monkey patching process? It's somehow broken (or not working) in our case and I can't infer how it should be working basing on other readthedocs projects, also found nothing useful in the documentation. FWIW the search works perfectly fine in a locally built sphinx pages.