From b04f97f60be64549a37e0c71d676ab67e70891fa Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Tue, 13 Nov 2018 16:10:43 +0200
Subject: Replace anchor.js with jekyll-anchor-headings.

This allows us to generate the anchor links on build time.

https://github.com/allejo/jekyll-anchor-headings
---
 site/_includes/scripts.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'site/_includes/scripts.html')

diff --git a/site/_includes/scripts.html b/site/_includes/scripts.html
index 3db172665..bd49ed091 100644
--- a/site/_includes/scripts.html
+++ b/site/_includes/scripts.html
@@ -14,7 +14,6 @@
 {%- if jekyll.environment == "production" -%}
   <script src="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/js/docs.min.js"></script>
 {%- else -%}
-  <script src="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/js/vendor/anchor.min.js"></script>
   <script src="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/js/vendor/clipboard.min.js"></script>
   <script src="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/js/vendor/holder.min.js"></script>
   <script src="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/js/vendor/bs-custom-file-input.min.js"></script>
-- 
cgit v1.2.3