From efb43e0a3be6fee1afd904e04f786f27139a713b Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Fri, 12 Apr 2019 11:22:28 +0200
Subject: [PATCH] Produce documentation for the non-bootsrapped library

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

diff --git a/project/Build.scala b/project/Build.scala
index 6594561b5289..02a16eabe950 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -330,7 +330,10 @@ object Build {
 
       val sources =
         unmanagedSources.in(Compile, compile).value ++
-        unmanagedSources.in(`dotty-compiler`, Compile).value
+        unmanagedSources.in(`dotty-compiler`, Compile).value ++
+        // TODO use bootstrapped library
+        // Blocked by #6295, also see https://github.com/lampepfl/dotty/pull/5499
+        unmanagedSources.in(`dotty-library`, Compile).value
       val args = Seq(
         "-siteroot", "docs",
         "-project", "Dotty",