mdbook

Author	SHA1	Message	Date
Matt Ickstadt	5835da2432	Run rustfmt	2018-07-23 12:47:04 -05:00
Matt Ickstadt	384582aeba	Cleanup add_doc	2018-07-23 12:08:04 -05:00
Matt Ickstadt	e1a46d213e	Use JSON search index with JS fallback This allows the search index to be loaded asynchronously, and should use fewer resources as it doesn't have to execute the JS. JS loading is kept as a fallback for CORS issues with file:// URIs in Chrome.	2018-07-23 12:08:04 -05:00
Matt Ickstadt	b8011de3e8	Warn when search index is >10MB	2018-07-23 12:08:04 -05:00
Matt Ickstadt	019e74041d	Use integer doc_refs to shrink the search index This change reduced the searchindex.js of book_example from 508KB to 317KB.	2018-07-23 12:08:04 -05:00
Tim Ryan	b9ca108fca	Support reproducible builds by forcing window.search to use stable key ordering. (#692 )	2018-05-14 18:22:21 +08:00
Matt Ickstadt	5fb3675151	Update elasticlunr-rs (#646 ) * Update dependencies * Use config structs from elasticlunr-rs * Update searchindex fixture	2018-03-20 20:22:35 +08:00
Matt Ickstadt	b2ad669c61	Search with Elasticlunr, updated (#604 ) * Add search with elasticlunr.js This commit adds search functionality to mdBook, based on work done by @phaiax. The in-browser search code uses elasticlunr.js to execute the search, using an index generated at book build time by elasticlunr-rs. * Add generator comment Someone on Reddit was wondering how the rust book was generated and said they checked the source. Thought I'd put this here. Might be a good idea to have a little footer "made with mdBook", but this'll do for now. * Remove search/editor file override behavior * Use for loop for book iterator * Improve HTML regex * Fix search CORS in file URIs * Use ammonia to sanitize HTML * Filter html5ever log messages	2018-03-07 21:02:06 +08:00

8 commits