diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:44:00 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:53:07 +0200 |
| commit | 5e90bca05bd18be5e30668b3821d388842a57c12 (patch) | |
| tree | 7b3184926364969d2b31fa73c4dd00ef6195b3a8 /docs | |
| parent | 8c54c8fce1629b4d23c25f24060e00759f0f850b (diff) | |
| download | dotty-5e90bca05bd18be5e30668b3821d388842a57c12.tar.gz dotty-5e90bca05bd18be5e30668b3821d388842a57c12.tar.bz2 dotty-5e90bca05bd18be5e30668b3821d388842a57c12.zip | |
Append baseurl to necessary links
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/_includes/toc.html | 30 | ||||
| -rw-r--r-- | docs/_layouts/default.html | 8 |
2 files changed, 19 insertions, 19 deletions
diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html index 213926856..1e165ecaa 100644 --- a/docs/_includes/toc.html +++ b/docs/_includes/toc.html @@ -3,34 +3,34 @@ {% include scala-logo.html %} </div> <ul id="categories"> - <li><ul><li><a href="/blog">Blog</a></li></ul></li> - <li><ul><li><a href="/">Dotty Docs</a></li></ul></li> + <li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li> + <li><ul><li><a href="{{ site.baseurl }}/">Dotty Docs</a></li></ul></li> <li> Usage <ul> - <li><a href="/usage/migrating.html">Migrating from Scala 2</a></li> - <li><a href="/usage/sbt-projects.html">Using Dotty with sbt</a></li> + <li><a href="{{ site.baseurl }}/usage/migrating.html">Migrating from Scala 2</a></li> + <li><a href="{{ site.baseurl }}/usage/sbt-projects.html">Using Dotty with sbt</a></li> </ul> </li> <li> Contributing <ul> - <li><a href="/contributing/getting-started.html">Getting Started</a></li> - <li><a href="/contributing/workflow.html">Workflow</a></li> - <li><a href="/contributing/eclipse.html">Eclipse</a></li> - <li><a href="/contributing/intellij-idea.html">Intellij-IDEA</a></li> + <li><a href="{{ site.baseurl }}/contributing/getting-started.html">Getting Started</a></li> + <li><a href="{{ site.baseurl }}/contributing/workflow.html">Workflow</a></li> + <li><a href="{{ site.baseurl }}/contributing/eclipse.html">Eclipse</a></li> + <li><a href="{{ site.baseurl }}/contributing/intellij-idea.html">Intellij-IDEA</a></li> </ul> </li> <li> Internals <ul> - <li><a href="/internals/backend.html">Backend</a></li> - <li><a href="/internals/contexts.html">Contexts</a></li> - <li><a href="/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li> - <li><a href="/internals/overall-structure.html">Project Structure</a></li> - <li><a href="/internals/periods.html">Periods</a></li> - <li><a href="/internals/type-system.html">Type System</a></li> - <li><a href="/internals/dotc-scalac.html">Dotty vs Scala2</a></li> + <li><a href="{{ site.baseurl }}/internals/backend.html">Backend</a></li> + <li><a href="{{ site.baseurl }}/internals/contexts.html">Contexts</a></li> + <li><a href="{{ site.baseurl }}/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li> + <li><a href="{{ site.baseurl }}/internals/overall-structure.html">Project Structure</a></li> + <li><a href="{{ site.baseurl }}/internals/periods.html">Periods</a></li> + <li><a href="{{ site.baseurl }}/internals/type-system.html">Type System</a></li> + <li><a href="{{ site.baseurl }}/internals/dotc-scalac.html">Dotty vs Scala2</a></li> </ul> </li> </ul> diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index d55fb4dfa..c202df7d5 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -1,9 +1,9 @@ <html> <head> <title>Dotty - {{ page.title }}</title> - <link rel="shortcut icon" type="image/png" href="/images/favicon.png"/> + <link rel="shortcut icon" type="image/png" href="{{ site.baseurl}}/images/favicon.png"/> <link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github.min.css"> - <link rel="stylesheet" href="/css/main.css"> + <link rel="stylesheet" href="{{ site.baseurl }}/css/main.css"> </head> <body> <div id="container"> @@ -18,13 +18,13 @@ </div> </div> </body> - <script src="/js/highlight.pack.js"></script> + <script src="{{ site.baseurl }}/js/highlight.pack.js"></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/","/"); + if (thisHREF.indexOf(window.location.hostname) > -1) thisHREF = thisHREF.replace(".md",".html") document.links[i].setAttribute('href', thisHREF); } </script> |