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