Add search support in odoc
- A new command `odoc compile-index` to generate a json index to give to search
engine
- A new flag `--search-file` to `odoc html-generate` and `odoc support-files` to
specify the search file(s) to execute for search (This will have to be
reworked)
- A script, html layout and css to display the search results
Co-authored-by: Emile Trotignon <emile@tarides.com>
Signed-off-by: Paul-Elliot <peada@free.fr>
authored by
jon.recoil.org
ebd8afd5
cb811453