I discussed this once with @valencik. The rough idea would be to generate a search index with Apache Lucene and feed it into lunr.js. Or something ... See also: - https://github.com/http4s/http4s/issues/5457
I discussed this once with @valencik. The rough idea would be to generate a search index with Apache Lucene and feed it into lunr.js. Or something ...
See also: