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(" ")}"""