search

sphinx-contrib / sphinx-pretty-searchresults

Sphinx: pretty search results is an extension for the Sphinx documentation tool. To display search results, Sphinx is fetching the source files of search hits and rendering excerpts in raw markup. This extension removes the markup from these source files (during build time), so the search results look decent.
https://pypi.python.org/pypi/sphinxprettysearchresults
MIT License
22 stars 5 forks source link

Directory HTML builder support #25

Closed Princesseuh closed 6 years ago

Princesseuh commented 6 years ago

Hi!

I recently switched my documentation to the directory HTML builder for prettier URLs but quickly noticed that it broke this extension since it's not enabled for other builders

Simply changing the lines locally to also support the dirhtml builder fixed the issue seemingly without problems, though I haven't tested all features (sourcelinks etc)

TimKam commented 6 years ago

Thanks for reporting. It shouldn't be too hard to support dirhtml. Could you create a pull request with your local changes?