mirror of
https://github.com/prometheus/docs.git
synced 2026-02-05 15:45:27 +01:00
1651818fc8
* Add Algolia Docsearch This adds a search box to the top of the document that uses Algolia's Docsearch (https://docsearch.algolia.com/). Indexing settings for our site are configured in: https://github.com/algolia/docsearch-configs/blob/master/configs/prometheus.json Signed-off-by: Julius Volz <julius.volz@gmail.com> * Add more general docsearch:include true/false attribute Will switch to this after it is indexed in a day or so... Signed-off-by: Julius Volz <julius.volz@gmail.com>