From ba91aca47bad7517529443956516402f6b39dcdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Filip=20Zyba=C5=82a?= <filip.zybala@gmail.com>
Date: Wed, 10 Mar 2021 12:16:37 +0100
Subject: [PATCH] Add docs source link

---
 project/Build.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/project/Build.scala b/project/Build.scala
index f983445ea9da..59f2eac4e8d1 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -1633,7 +1633,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
             )
           ))