Clarify the purpose of the website https://dotty.epfl.ch

Author: julienrf

CONTRIBUTING.md

@@ -2,4 +2,4 @@
 
 Firstly, thanks for being willing to contribute to Dotty! Head on over the
 [Scala 3 Contributing
-Guide](https://docs.scala-lang.org/scala3/guides/contribution/contribution-intro.html), which should have all the info you're looking for.
+Guide](https://dotty.epfl.ch/docs/contributing/index.html), which should have all the info you're looking for.

docs/_blog/index.html

@@ -1,6 +1,6 @@
 ---
 layout: static-site-main
-title: Blog
+title: Blog (archive)
 ---
 <main class="container">
     <h1>{{ page.title }}</h1>

docs/_docs/contributing/workflow.md

@@ -115,6 +115,7 @@ The basics of working with Dotty codebase are documented [here](https://dotty.ep
 | `testOnly dotty.tools.dotc.CompilationTests -- *pos` | Run test (method) `pos` from `CompilationTests` suite.                                                                        |
 | `testCompilation sample`                             | In all test suites, run test files containing the word `sample` in their title.                                               |
 | `scala3-compiler/Test/runMain dotty.tools.printTypes`|  Print types underlying representation                                                                                        |
+| `scaladoc/generateScalaDocumentation`               | Build the documentation website                                                                                              |
 
 
 ## Shell Commands

docs/_docs/index.md

@@ -1,19 +1,6 @@
 ---
 layout: index
 redirectFrom: /docs/index.html
-nightlyOf: https://docs.scala-lang.org/scala3/reference/
 ---
 
-Dotty is the project name for technologies that are considered for inclusion in Scala 3. Scala has
-pioneered the fusion of object-oriented and functional programming in a typed setting. Scala 3 will
-be a big step towards realizing the full potential of these ideas. Its main objectives are to
-
-- become more opinionated by promoting programming idioms we found to work well,
-- simplify where possible,
-- eliminate inconsistencies and surprising behaviors,
-- build on strong foundations to ensure the design hangs well together,
-- consolidate language constructs to improve the language’s consistency, safety, ergonomics, and performance.
-
-In this documentation you will find information on how to use the Dotty compiler on your machine,
-navigate through the code, setup Dotty with your favorite IDE and more!
-
+This website contains the developer documentation of the Scala 3 compiler. It targets developers interested in contributing to the compiler, or learning its internals. If you want to learn how to use Scala, go [here](https://docs.scala-lang.org/).