Daniel Verkamp a77c40ec06 tools: enable search feature for mdbook ... This will generate the search index and in-browser search for the book. BUG=None TEST=mdbook build docs/book Change-Id: Ibaf67002c5b5d5cf1aafd19ab66a05b9116b14a0 Reviewed-on: https://chromium-review.googlesource.com/c/crosvm/crosvm/+/3792098 Reviewed-by: Dennis Kempin <denniskempin@google.com> Commit-Queue: Daniel Verkamp <dverkamp@chromium.org> Tested-by: Daniel Verkamp <dverkamp@chromium.org>		2022-07-29 21:16:21 +00:00
..
devcontainer.json	tools: enable search feature for mdbook	2022-07-29 21:16:21 +00:00