Rename jekyll-search.js to reflect that it's minified.

[ci skip]

diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html
index 3782eea04bcc6c05f331d33bd487c104a4b4b650..7bcaa398351cf34b866f7f48c66feb7d27ad53e1 100644 (file)
--- 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