Remove source files in _scala3-reference/ #2391
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Initially, the Dotty documentation used to be published on the website https://dotty.epfl.ch. When Dotty became Scala 3.0.0, it was natural to move its documentation here, on the website https://docs.scala-lang.org (see #2112). However, by doing so we realized that the compiler team lost the ability to implement something in the compiler and to document it in a single pull request. They now had to implement their features in the dotty repo, and to document these features here.
I believe the Scala 3 reference documentation should be hosted on the website docs.scala-lang.org, but I also understand that it is more convenient for the compiler team if they can implement things and document their work within a single repo. Consequently, we decided with VirtusLab to produce the HTML pages of the Scala 3 reference documentation from source files hosted on the dotty repo. These pages are published at the URL https://docs.scala-lang.org/scala3/reference, so they “shadow” any content produced by the docs.scala-lang repo. Therefore, we should remove the duplicated source files from this repo.