diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/getting-started.html | 2 | ||||
| -rw-r--r-- | docs/_includes/logo-page.html | 4 | ||||
| -rw-r--r-- | docs/_includes/toc.html | 43 |
3 files changed, 3 insertions, 46 deletions
diff --git a/docs/_includes/getting-started.html b/docs/_includes/getting-started.html index fc99788f9..00b7c869c 100644 --- a/docs/_includes/getting-started.html +++ b/docs/_includes/getting-started.html @@ -19,7 +19,7 @@ enablePlugins(DottyPlugin)</code></pre> <h2 id="build.properties">build.properties</h2> <pre class="sourceCode bordered"><code>sbt.version=0.13.11</code></pre> <h2 id="plugins.sbt">plugins.sbt</h2> - <pre class="sourceCode bordered"><code>addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.4")</code></pre> + <pre class="sourceCode bordered"><code>addSbtPlugin("com.felixmulder" % "sbt-dotty" % "0.1.7")</code></pre> <p> This plugin is based on the <a href="https://github.com/smarter/dotty-example-project"> diff --git a/docs/_includes/logo-page.html b/docs/_includes/logo-page.html index 53c466cf5..3131b6626 100644 --- a/docs/_includes/logo-page.html +++ b/docs/_includes/logo-page.html @@ -7,12 +7,12 @@ </a> </li> <li class="nav-item"> - <a class="nav-link" href="{{ site.baseurl }}/blog"> + <a class="nav-link" href="{{ site.baseurl }}/blog/index.html"> Blog </a> </li> <li class="nav-item"> - <a class="nav-link" href="{{ site.baseurl }}/docs"> + <a class="nav-link" href="{{ site.baseurl }}/docs/index.html"> Docs </a> </li> diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html deleted file mode 100644 index 45cbb5940..000000000 --- a/docs/_includes/toc.html +++ /dev/null @@ -1,43 +0,0 @@ -<div> - <a href="{{ site.baseurl }}/"> - <div id="scala-logo"> - {% include scala-logo.html %} - </div> - </a> - <form id="search-form" action="/search.html" method="get"> - <input placeholder="Search" type="text" id="search-box" name="query"> - </form> - <ul id="categories"> - <li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li> - <li><ul><li><a href="{{ site.baseurl }}/docs">Dotty Docs</a></li></ul></li> - <li> - Usage - <ul> - <li><a href="{{ site.baseurl }}/docs/usage/migrating.html">Migrating from Scala 2</a></li> - <li><a href="{{ site.baseurl }}/docs/usage/sbt-projects.html">Using Dotty with sbt</a></li> - <li><a href="{{ site.baseurl }}/docs/usage/cbt-projects.html">Using Dotty with cbt</a></li> - </ul> - </li> - <li> - Contributing - <ul> - <li><a href="{{ site.baseurl }}/docs/contributing/getting-started.html">Getting Started</a></li> - <li><a href="{{ site.baseurl }}/docs/contributing/workflow.html">Workflow</a></li> - <li><a href="{{ site.baseurl }}/docs/contributing/eclipse.html">Eclipse</a></li> - <li><a href="{{ site.baseurl }}/docs/contributing/intellij-idea.html">Intellij-IDEA</a></li> - </ul> - </li> - <li> - Internals - <ul> - <li><a href="{{ site.baseurl }}/docs/internals/backend.html">Backend</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/contexts.html">Contexts</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/overall-structure.html">Project Structure</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/periods.html">Periods</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/type-system.html">Type System</a></li> - <li><a href="{{ site.baseurl }}/docs/internals/dotc-scalac.html">Dotty vs Scala2</a></li> - </ul> - </li> - </ul> -</div> |