Revert headers and links

Author: BarkingBad

.gitignore

@@ -102,10 +102,3 @@ cs
 
 # Coursier test product
 compiler/test-coursier/run/*.jar
-
-# Docs
-docs-for-dotty-page/*
-
-# docs.scala-lang deplyment temp dir
-docsScalaLang/
-docs/_site/

docs/README.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Other Changed Features"
-type: chapter
-num: 52
-previous-page: /scala3/reference/other-new-features/experimental-defs
-next-page: /scala3/reference/changed-features/numeric-literals
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features.html
 ---
 
 The following pages document the features that have changed in Scala 3, compared to Scala 2.

docs/docs/reference/changed-features.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Changes in Compiler Plugins"
-type: section
-num: 68
-previous-page: /scala3/reference/changed-features/eta-expansion
-next-page: /scala3/reference/changed-features/lazy-vals-init
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/compiler-plugins.html
 ---
 
 Compiler plugins are supported by Dotty (and Scala 3) since 0.9. There are two notable changes

docs/docs/reference/changed-features/compiler-plugins.md

@@ -1,7 +1,7 @@
 ---
-layout: singlepage-overview
-scala3: true
+layout: doc-page
 title: "Automatic Eta Expansion - More Details"
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/eta-expansion-spec.html
 ---
 
 ## Motivation

docs/docs/reference/changed-features/eta-expansion-spec.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Automatic Eta Expansion"
-type: section
-num: 67
-previous-page: /scala3/reference/changed-features/pattern-matching
-next-page: /scala3/reference/changed-features/compiler-plugins
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/eta-expansion.html
 ---
 
 The conversion of _methods_ into _functions_ has been improved and happens automatically for methods with one or more parameters.
@@ -38,7 +36,7 @@ rather than `next _`.
 The reason for excluding nullary methods from automatic eta expansion
 is that Scala implicitly inserts the `()` argument, which would
 conflict with eta expansion. Automatic `()` insertion is
-[limited](../dropped-features/auto-apply.html) in Scala 3, but the fundamental ambiguity
+[limited](../dropped-features/auto-apply.md) in Scala 3, but the fundamental ambiguity
 remains.
 
-[More details](eta-expansion-spec.html)
+[More details](eta-expansion-spec.md)

docs/docs/reference/changed-features/eta-expansion.md

@@ -1,7 +1,7 @@
 ---
-layout: singlepage-overview
-scala3: true
+layout: doc-page
 title: "Implicit Conversions - More Details"
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/implicit-conversions-spec.html
 ---
 
 ## Implementation
@@ -82,7 +82,7 @@ implicit val myConverter: Int => String = _.toString
 implicit val myConverter: Conversion[Int, String] = _.toString
 ```
 
-Note that implicit conversions are also affected by the [changes to implicit resolution](implicit-resolution.html) between Scala 2 and Scala 3.
+Note that implicit conversions are also affected by the [changes to implicit resolution](implicit-resolution.md) between Scala 2 and Scala 3.
 
 ## Motivation for the changes
 
@@ -109,9 +109,9 @@ will report a type error, because `Map` isn't an instance of
 Implicit values that are used as views should see their type changed to `Conversion`.
 
 For the migration of implicit conversions that are affected by the
-changes to implicit resolution, refer to the [Changes in Implicit Resolution](implicit-resolution.html) for more information.
+changes to implicit resolution, refer to the [Changes in Implicit Resolution](implicit-resolution.md) for more information.
 
 ## Reference
 
-For more information about implicit resolution, see [Changes in Implicit Resolution](implicit-resolution.html).
+For more information about implicit resolution, see [Changes in Implicit Resolution](implicit-resolution.md).
 Other details are available in [PR #2065](https://github.com/lampepfl/dotty/pull/2065).

docs/docs/reference/changed-features/implicit-conversions-spec.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Implicit Conversions"
-type: section
-num: 61
-previous-page: /scala3/reference/changed-features/implicit-resolution
-next-page: /scala3/reference/changed-features/overload-resolution
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/implicit-conversions.html
 ---
 
 An _implicit conversion_, also called _view_, is a conversion that
@@ -63,4 +61,4 @@ implicitly[Ordering[A]] // Ok, will use the implicit conversion from
                         // `A` to `Int` and the `Ordering` for `Int`.
 ```
 
-[More details](implicit-conversions-spec.html)
+[More details](implicit-conversions-spec.md)

docs/docs/reference/changed-features/implicit-conversions.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Changes in Implicit Resolution"
-type: section
-num: 60
-previous-page: /scala3/reference/changed-features/type-inference
-next-page: /scala3/reference/changed-features/implicit-conversions
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/implicit-resolution.html
 ---
 
 This section describes changes to the implicit resolution that apply both to the new `given`s and to the old-style `implicit`s in Scala 3.

docs/docs/reference/changed-features/implicit-resolution.md

@@ -1,9 +1,7 @@
 ---
+layout: doc-page
 title: "Imports"
-type: section
-num: 57
-previous-page: /scala3/reference/changed-features/wildcards
-next-page: /scala3/reference/changed-features/type-checking
+movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/imports.html
 ---
 
 The syntax of wildcard and renaming imports (and exports) has changed.