From 6447ba7179d305f6719e62d532fcc7a2a79d40ac Mon Sep 17 00:00:00 2001 From: Jared Dominguez Date: Fri, 3 Feb 2017 18:10:24 -0800 Subject: [PATCH] Add search functionality to docs --- docs/_includes/docs_menu.html | 1 + docs/_includes/head.html | 1 + docs/_includes/search_form.html | 7 ++++ docs/_layouts/search.html | 43 ++++++++++++++++++++ docs/docs/search.md | 5 +++ docs/js/lunr.min.js | 6 +++ docs/js/redirect-to-search.js | 13 ++++++ docs/js/search.js | 71 +++++++++++++++++++++++++++++++++ 8 files changed, 147 insertions(+) create mode 100644 docs/_includes/search_form.html create mode 100644 docs/_layouts/search.html create mode 100644 docs/docs/search.md create mode 100644 docs/js/lunr.min.js create mode 100644 docs/js/redirect-to-search.js create mode 100644 docs/js/search.js diff --git a/docs/_includes/docs_menu.html b/docs/_includes/docs_menu.html index b7a76d5..eae8806 100644 --- a/docs/_includes/docs_menu.html +++ b/docs/_includes/docs_menu.html @@ -1,4 +1,5 @@
+ {% include search_form.html %}