searchtools.js missing init() call #3532
It seems like something is off with generating
Not working search
The text was updated successfully, but these errors were encountered:
@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.