On Tue, May 1, 2018 at 3:24 PM, Michael Landry <mlan...@arxan.com> 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 sphinx-users+unsubscr...@googlegroups.com. To post to this group, send email to sphinx-users@googlegroups.com. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
