From fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Mon, 7 Nov 2016 15:36:20 +0100
Subject: Fix #1674: add search to doc site

---
 docs/search.html | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 docs/search.html

(limited to 'docs/search.html')

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>
-- 
cgit v1.2.3