diff options
Diffstat (limited to 'docs/_includes/toc.html')
| -rw-r--r-- | docs/_includes/toc.html | 43 |
1 files changed, 0 insertions, 43 deletions
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> |