Merge pull request scala#11684 from lampepfl/scaladoc/github-edit-bug

Scaladoc: Add docs source link
wi101 · Mar 11, 2021 · 1621b69 · 1621b69
2 parents 5539aea + ba91aca
commit 1621b69
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/project/Build.scala b/project/Build.scala
@@ -1637,7 +1637,9 @@ object Build {
                 "github::https://github.com/lampepfl/dotty," +
                 "gitter::https://gitter.im/scala/scala," +
                 "twitter::https://twitter.com/scala_lang",
-              s"-source-links:$stdLibRoot=github://scala/scala/v${stdlibVersion(Bootstrapped)}#src/library",
+              s"-source-links:" +
+                s"$stdLibRoot=github://scala/scala/v${stdlibVersion(Bootstrapped)}#src/library," +
+                s"docs=github://lampepfl/dotty/master#docs",
               "-doc-root-content", docRootFile.toString
             )
           ))