doc: Use Sherlodoc as search engine
This changes driver.mld to use sherlodoc. The database is 11MB large.
Sherlodoc's sources must be cloned into the dune workspace in order for
it to use the same version of Odoc as the driver. Installing it via Opam
results in magic number clashes.
ca3efc
-
Jan 11 17:35 +00:00