Merge pull request #6811 from sideeffffect/doc-typo-fix

Make links relative and to `.md` (instead of `.html`)

Author: anatoliykmetyuk

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

@@ -38,5 +38,5 @@ conflict with eta expansion. Automatic `()` insertion is
 [limited](../dropped-features/auto-apply.md) in Dotty, but the fundamental ambiguity
 remains.
 
-[More details](eta-expansion-spec.html)
+[More details](eta-expansion-spec.md)
 

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

@@ -81,7 +81,7 @@ 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
+implicit resolution](implicit-resolution.md) between Scala 2 and
 Scala 3.
 
 ## Motivation for the changes
@@ -111,12 +111,12 @@ 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.
+Resolution](implicit-resolution.md) for more information.
 
 ## Reference
 
 For more information about implicit resolution, see [Changes in
-Implicit Resolution](implicit-resolution.html).
+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.md

@@ -61,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/overload-resolution.md

@@ -41,7 +41,7 @@ resolution yields several competing alternatives when `n >= 1` parameter lists a
 into account, then resolution re-tried using `n + 1` argument lists.
 
 This change is motivated by the new language feature [extension
-methods](../contextual/extension-methods.html), where emerges the need to do
+methods](../contextual/extension-methods.md), where emerges the need to do
 overload resolution based on additional argument blocks.
 
 ## Parameter Types of Function Values

docs/docs/reference/changed-features/structural-types.md

@@ -74,4 +74,4 @@ differences.
   `ClassTag` indicating the method's formal parameter types. `Dynamic`
   comes with `updateDynamic`.
 
-[More details](structural-types-spec.html)
+[More details](structural-types-spec.md)

docs/docs/reference/contextual/delegates.md

@@ -4,7 +4,7 @@ title: "Given Instances"
 ---
 
 Given instances (or, simply, "givens") define "canonical" values of certain types
-that serve for synthesizing arguments to [given clauses](./given-clauses.html). Example:
+that serve for synthesizing arguments to [given clauses](./given-clauses.md). Example:
 
 ```scala
 trait Ord[T] {
@@ -34,7 +34,7 @@ This code defines a trait `Ord` with two given instances. `IntOrd` defines
 a given for the type `Ord[Int]` whereas `ListOrd[T]` defines givens
 for `Ord[List[T]]` for all types `T` that come with a given instance for `Ord[T]` themselves.
 The `given (ord: Ord[T])` clause in `ListOrd` defines an implicit parameter.
-Given clauses are further explained in the [next section](./given-clauses.html).
+Given clauses are further explained in the [next section](./given-clauses.md).
 
 ## Anonymous Given Instances
 
@@ -74,7 +74,7 @@ If a `given` definition has type parameters or a given clause, a fresh instance
 
 ## Syntax
 
-Here is the new syntax of given instances, seen as a delta from the [standard context free syntax of Scala 3](http://dotty.epfl.ch/docs/internals/syntax.html).
+Here is the new syntax of given instances, seen as a delta from the [standard context free syntax of Scala 3](../../internals/syntax.md).
 ```
 TmplDef          ::=  ...
                   |   ‘given’ GivenDef

docs/docs/reference/contextual/extension-methods.md

@@ -139,7 +139,7 @@ As usual, type parameters of the extension method follow the defined method name
 ### Syntax
 
 The required syntax extension just adds one clause for extension methods relative
-to the [current syntax](https://github.com/lampepfl/dotty/blob/master/docs/docs/internals/syntax.md).
+to the [current syntax](../../internals/syntax.md).
 ```
 DefSig            ::=  ...
                     |  ‘(’ DefParam ‘)’ [nl] id [DefTypeParamClause] DefParamClauses

docs/docs/reference/contextual/given-clauses.md

@@ -98,7 +98,7 @@ def the[T] given (x: T): x.type = x
 
 ## Syntax
 
-Here is the new syntax of parameters and arguments seen as a delta from the [standard context free syntax of Scala 3](http://dotty.epfl.ch/docs/internals/syntax.html).
+Here is the new syntax of parameters and arguments seen as a delta from the [standard context free syntax of Scala 3](../../internals/syntax.md).
 ```
 ClsParamClauses     ::=  ...
                       |  {ClsParamClause} {GivenClsParamClause}

docs/docs/reference/contextual/implicit-function-types-spec.md

@@ -65,7 +65,7 @@ itself a implicit function literal. This is analogous to the automatic
 insertion of `scala.Function0` around expressions in by-name argument position.
 
 Implicit function types generalize to `N > 22` in the same way that function types do, see [the corresponding
-documentation](https://dotty.epfl.ch/docs/reference/dropped-features/limit22.html).
+documentation](../dropped-features/limit22.md).
 
 ## Examples
 

docs/docs/reference/contextual/implicit-function-types.md

@@ -148,4 +148,4 @@ as the best possible code one could write by hand:
 For more info, see the [blog article](https://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html),
 (which uses a different syntax that has been superseded).
 
-[More details](./implicit-function-types-spec.html)
+[More details](./implicit-function-types-spec.md)