Hello all, I have a question about the quick search box on leo-editor.com. I'm not sure it ever worked before, but it hasn't worked recently.
The problem is that generated links have an extra .txt.html file extension. A temporary fix is to hack the generated searchindex.js file so that the docnames and filenames arrays are the same. My conf.py file specifies source_suffix = ['.html.txt', ...], but why that should influence the search box is mysterious. Does anyone have any ideas? Edward ------------------------------ -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
