diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:30:28 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:30:28 +0200 |
commit | 8c54c8fce1629b4d23c25f24060e00759f0f850b (patch) | |
tree | c684582ee4626d4f83c1df0374dc2bcdcf62e5a6 /docs/_layouts | |
parent | 10ff9494165210b22eb80e989fc10c3ebf393bae (diff) | |
download | dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.tar.gz dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.tar.bz2 dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.zip |
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).
Diffstat (limited to 'docs/_layouts')
-rw-r--r-- | docs/_layouts/default.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 19cd7ce59..d55fb4dfa 100644 --- 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> |