Unfortunately that didn't solve our issue... The quest continues.
On Tuesday, May 1, 2018 at 9:47:17 PM UTC-4, Edward K. Ream wrote: > > On Tue, May 1, 2018 at 3:24 PM, Michael Landry <[email protected] > <javascript:>> wrote: > > Did you ever find a resolution to this issue? I have a similar problem >> where the file extension includes ".rst", and have had absolutely no >> success finding a fix. >> > > ​We didn't find a fix, but one of us found a workaround​. Here is the diff > for searchtools.js: > > - var filenames = this._index.filenames; > + var docnames = this._index.docnames; > > I know nothing about why this works, but it does seem to work. > > HTH. > > 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.
