Remove relative links for markdown plugin

This plugin caused the Github site builder to kill the build (github has a limited number of trusted plugins - this wasn't one of them).
mtgran · Oct 6, 2016 · 8c54c8f · 8c54c8f
1 parent 10ff949
commit 8c54c8f
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 270 deletions.
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -1,6 +1,5 @@
 title: Dotty Documentation
 baseurl: "/"
-markdown: JekyllMarkdownLinkConverter
 theme: minima
 gems:
     - jekyll-toc
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -19,5 +19,13 @@
         </div>
     </body>
     <script src="/js/highlight.pack.js"></script>
-    <script>hljs.initHighlightingOnLoad();</script>
+    <script language="javascript">
+        hljs.initHighlightingOnLoad();
+        var x = document.links.length;
+        for (i = 0; i < x; i++) {
+            var thisHREF = document.links[i].href;
+            if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md","/").replace("/index/","/");
+            document.links[i].setAttribute('href', thisHREF);
+        }
+    </script>
 </html>
diff --git a/docs/_plugins/JekyllMarkdownLinkConverter/LICENSE b/docs/_plugins/JekyllMarkdownLinkConverter/LICENSE
diff --git a/docs/_plugins/JekyllMarkdownLinkConverter/converter.rb b/docs/_plugins/JekyllMarkdownLinkConverter/converter.rb