3 ms·
Sphinx [1] the documentation tool from the Python world has just about always supported (at least a decade or more at this point) a very simple keyword search b
by WorldMaker 5y ago
Sphinx [1] the documentation tool from the Python world has just about always supported (at least a decade or more at this point) a very simple keyword search based on a simple JSON file it compiles at generation time and a tiny bit of JS to read the JSON and spit out the results.
It generally works really well and it makes sense that a static site could use a static index. I'm still surprised more documentation tools haven't copied the approach.
[1] https://www.sphinx-doc.org/en/master/ https://www.sphinx-doc.org/en/master/