2022 02 12 update mdoc fix downloadlink (#4086)

* Fix broken website examples

* Update mdoc dependency and fix download link
This commit is contained in:
Chris Stewart 2022-02-12 16:20:34 -06:00 committed by GitHub
parent 13c46e0af8
commit 07fcfd0568
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -25,7 +25,7 @@ addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "1.4.12")
addSbtPlugin("com.github.sbt" % "sbt-ci-release" % "1.5.10")
// write markdown files with type-checked Scala
addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.2.24")
addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.3.0")
addSbtPlugin("org.scalameta" % "sbt-scalafmt" % "2.4.6")

View File

@ -91,7 +91,7 @@ const siteConfig = {
// For no header links in the top nav bar -> headerLinks: [],
headerLinks: [
{ doc: "core/core-intro", label: "Docs" },
{ href: "download", label: "Download" },
{ href: "/download", label: "Download" },
{ href: scaladocUrl, label: "API" },
{ page: "help", label: "Help" }
],