From 14772943a692914ccb317e7ecb193255098c670b Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Fri, 4 Dec 2015 19:14:52 +0200
Subject: [PATCH] Rename jekyll-search.js to reflect that it's minified.

[ci skip]
---
 docs/_includes/footer.html                                      | 2 +-
 .../assets/js/vendor/{jekyll-search.js => jekyll-search.min.js} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename docs/assets/js/vendor/{jekyll-search.js => jekyll-search.min.js} (100%)

diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html
index 3782eea04b..7bcaa39835 100644
--- a/docs/_includes/footer.html
+++ b/docs/_includes/footer.html
@@ -35,7 +35,7 @@
 <script src="{{ site.baseurl }}/assets/js/ie-emulation-modes-warning.js"></script>
 
 {% if page.layout == "docs" %}
-<script src="{{ site.baseurl }}/assets/js/vendor/jekyll-search.js"></script>
+<script src="{{ site.baseurl }}/assets/js/vendor/jekyll-search.min.js"></script>
 
 <script>
 SimpleJekyllSearch.init({
diff --git a/docs/assets/js/vendor/jekyll-search.js b/docs/assets/js/vendor/jekyll-search.min.js
similarity index 100%
rename from docs/assets/js/vendor/jekyll-search.js
rename to docs/assets/js/vendor/jekyll-search.min.js