From a1302c8b581fd0682171923f2fecd9cfd6801e2a Mon Sep 17 00:00:00 2001
From: Anatolii <anatoliykmetyuk@gmail.com>
Date: Fri, 10 Jan 2020 15:56:34 +0100
Subject: [PATCH] Generate docs with erased terms

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

diff --git a/project/Build.scala b/project/Build.scala
index daea2b962781..43c8ea9b47c1 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -416,7 +416,8 @@ object Build {
         "-project-version", dottyVersion,
         "-project-url", dottyGithubUrl,
         "-project-logo", "dotty-logo.svg",
-        "-classpath", dottydocClasspath.value
+        "-classpath", dottydocClasspath.value,
+        "-Yerased-terms"
       )
       (runMain in Compile).toTask(
         s""" dotty.tools.dottydoc.Main ${args.mkString(" ")} ${sources.mkString(" ")}"""