Hi all, It guess you've used custom theme. If true, could you check `DOCUMENTATION_OPTIONS` in generated HTML files. If you can't find `SOURCELINK_SUFFIX` key on the hashmap, it is too old.
In detail, I commented about it in following issue: https://github.com/sphinx-doc/sphinx/issues/4929#issuecomment-385992657 Thanks, 2018-04-03 5:42 GMT+09:00 Edward K. Ream <[email protected]>: > 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. -- 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.
