Merge pull request #7266 from dotty-staging/fix-broken-links

Fix or remove broken links

Author: anatoliykmetyuk

docs/blog/_posts/2016-01-02-new-year-resolutions.md

@@ -40,7 +40,7 @@ power wisely, and to promote simplicity of usage wherever possible.
 Unfortunately, most of us fall all too easily into the complexity
 trap, as Alex Payne's tweet sums it up very nicely.
 
-<blockquote class="twitter-tweet" lang="en"><p lang="en" dir="ltr">“Complexity is like a bug light for smart people. We can&#39;t resist it, even though we know it&#39;s bad for us.” <a href="https://t.co/V9Izi573CF">https://t.co/V9Izi573CF</a></p>&mdash; Alex Payne (@al3x) <a href="https://twitter.com/al3x/status/683036775942496256">January 1, 2016</a></blockquote>
+<blockquote class="twitter-tweet" lang="en"><p lang="en" dir="ltr">“Complexity is like a bug light for smart people. We can&#39;t resist it, even though we know it&#39;s bad for us.” <a href="https://t.co/V9Izi573CF">https://t.co/V9Izi573CF</a></p>&mdash; Alex Payne (@al3x) <a href="https://twitter.com/al3x">January 1, 2016</a></blockquote>
 <script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script>
 
 I have been as guilty of complication as everybody else. Is

docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md

@@ -99,7 +99,7 @@ more important.
 Starting with 1.1.5 Dotty compiler plugins can be used with `sbt`. Please refer to the `sbt`
 [documentation](https://www.scala-sbt.org/1.x/docs/Compiler-Plugins.html) for more information.
 
-For more information, visit the [Compiler Plugin](https://dotty.epfl.ch/docs/reference/changed/compiler-plugins.html)
+For more information, visit the [Compiler Plugin](https://dotty.epfl.ch/docs/reference/changed-features/compiler-plugins.html)
 section of our documentation.
 
 ## Trying out Dotty

docs/blog/_posts/2019-04-15-14th-dotty-milestone-release.md

@@ -125,7 +125,7 @@ For more information, please see the [documentation](https://dotty.epfl.ch/docs/
 Some of the other changes include:
 
 - `infer` method renamed to `the`, the semantics of which is now the same as that of the `the` method of Shapeless. Namely, the implicits are resolved more precisely – see this [gist](https://gist.github.com/milessabin/8833a1dbf7e8245b30f8) for an example in Shapeless, and the Dotty [documentation](https://dotty.epfl.ch/docs/reference/contextual/given-clauses.html#querying-implied-instances) for more details.
-- The syntax of quoting and splicing was changed. Now the quoting is expressed via `'{ ... }` and `'[...]` and splicing – via `${...}` and `$id`. Please see the [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/principled-meta-programming.html) for more details on these features.
+- The syntax of quoting and splicing was changed. Now the quoting is expressed via `'{ ... }` and `'[...]` and splicing – via `${...}` and `$id`. Please see the [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html) for more details on these features.
 
 # Let us know what you think!
 

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

@@ -70,9 +70,7 @@ documentation](../dropped-features/limit22.md).
 
 See the section on Expressiveness from [Simplicitly: foundations and
 applications of implicit function
-types](https://dl.acm.org/citation.cfm?id=3158130). I've extracted it in [this
-Gist](https://gist.github.com/OlivierBlanvillain/234d3927fe9e9c6fba074b53a7bd9
-592), it might easier to access than the pdf.
+types](https://dl.acm.org/citation.cfm?id=3158130).
 
 ### Type Checking
 

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

@@ -75,9 +75,7 @@ documentation](../dropped-features/limit22.md).
 
 See the section on Expressiveness from [Simplicitly: foundations and
 applications of implicit function
-types](https://dl.acm.org/citation.cfm?id=3158130). I've extracted it in [this
-Gist](https://gist.github.com/OlivierBlanvillain/234d3927fe9e9c6fba074b53a7bd9
-592), it might easier to access than the pdf.
+types](https://dl.acm.org/citation.cfm?id=3158130).
 
 ### Type Checking
 

docs/docs/reference/metaprogramming/simple-smp.md

@@ -4,7 +4,7 @@ title: "The Meta-theory of Symmetric Meta-programming"
 ---
 
 This note presents a simplified variant of
-[principled meta-programming](./principled-meta-programming.md)
+[principled meta-programming](./macros.md)
 and sketches its soundness proof. The variant treats only dialogues
 between two stages. A program can have quotes which can contain
 splices (which can contain quotes, which can contain splices, and so

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

@@ -78,8 +78,7 @@ documentation](../dropped-features/limit22.md).
 
 See the section on Expressiveness from [Simplicitly: foundations and
 applications of implicit function
-types](https://dl.acm.org/citation.cfm?id=3158130). I've extracted it in [this
-Gist](https://gist.github.com/OlivierBlanvillain/234d3927fe9e9c6fba074b53a7bd9592), it might easier to access than the pdf.
+types](https://dl.acm.org/citation.cfm?id=3158130).
 
 ### Type Checking
 

docs/docs/release-notes/0.1.2.md

@@ -88,7 +88,7 @@ This release ships with the following features:
 [12]: https://github.com/lampepfl/dotty/commit/b2215ed23311b2c99ea638f9d7fcad9737dba588
 [13]: https://github.com/lampepfl/dotty/pull/187
 [14]: https://github.com/lampepfl/dotty/pull/217
-[15]: ../reference/other-new-features/trait-parameters.md
+[15]: ../reference/other-new-features/trait-parameters.html
 [16]: https://github.com/lampepfl/dotty/commit/89540268e6c49fb92b9ca61249e46bb59981bf5a
 [17]: https://github.com/lampepfl/dotty/pull/174
 [18]: https://github.com/lampepfl/dotty/pull/488