Fix #1674: add search to doc site

1 files changed, 35 insertions, 0 deletions

diff --git a/docs/search.html b/docs/search.html
new file mode 100644
index 000000000..acd55b798
--- /dev/null
+++ b/docs/search.html
@@ -0,0 +1,35 @@
+---
+layout: search
+title: "Search"
+---
+<h1 id="search">Search Results</h1>
+
+<form id="search-bar" action="/search.html" method="get">
+    <input placeholder="Search" type="text" id="search-box" name="query">
+</form>
+
+<ul id="search-results"></ul>
+
+<script>
+    window.store = {
+        {% for post in site.posts %}
+        "{{ post.url | slugify }}": {
+            "title": "{{ post.title | xml_escape }}",
+            "author": "{{ post.author | xml_escape }}",
+            "content": {{ post.content | markdownify | strip_html | lstrip | jsonify }},
+            "url": "{{ post.url | xml_escape }}"
+        },
+        {% endfor %}
+        {% for page in site.html_pages  %}
+        "{{ page.url | slugify }}": {
+            "title": "{{ page.title | xml_escape }}",
+            "name": "{{ page.name | xml_escape }}",
+            "content": {{ page.content | markdownify | strip_html | lstrip | jsonify }},
+            "url": "{{ page.url | xml_escape }}"
+        }
+        {% unless forloop.last %},{% endunless %}
+        {% endfor %}
+    };
+</script>
+<script src="/js/lunr.min.js"></script>
+<script src="/js/search.js"></script>