From 1df4721a177e2d89b7e1e2585473c978b3cd6cc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Astori?= <jeremie@astori.fr>
Date: Fri, 21 Sep 2018 01:22:15 -0400
Subject: [PATCH] Make sure pages in search index do not have HTML extension

---
 js/search_data.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/search_data.js b/js/search_data.js
index 6e68c9e1..0039d13e 100644
--- a/js/search_data.js
+++ b/js/search_data.js
@@ -4,7 +4,7 @@ window.search_data = {
   {%- assign documents = site.documents | concat: site.pages %}
   {%- for document in documents %}
   {%- unless document.title %}{% continue %}{% endunless %}
-  "{{ document.url }}": {
+  "{{ document.url | remove: ".html" }}": {
     "title": "{{ document.title | xml_escape }}",
     "category": "{{ document.category | xml_escape }}",
     "content": {{ document.content | newline_to_br | strip_newlines | replace: "<br />", " " | strip_html | jsonify }}