for those following: the search issue is actually a bug in sphinx_rtd_theme (https://github.com/snide/sphinx_rtd_theme/pull/346)
-jeff On Thursday, December 15, 2016 at 3:22:59 PM UTC-4, Jeff McKenna wrote: > > Ticked filed: https://github.com/sphinx-doc/sphinx/issues/3250 > > -jeff > > > > On 2016-12-15 3:13 PM, Jeff McKenna wrote: > > Unfortunately I have discovered that the Search tool does not work with > > Sphinx-1.5.1 The search utility (search.html) actually tries to > > access filenames that do not exist (in fact it always adds an extra > > ".txt" to the filename in /_sources/ > > > > Here is what the actual error is in the console for Firebug/Developer > > Tools window: > > > > 404 (not found): /_sources/myfolder/filename.txt.txt > > > > Where it should actually be looking for "filename.txt" > > > > Downgrading back to Sphinx 1.4.9 solves this problem. > > > > > > -jeff > > > > -- 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.
