Merge pull request #7956 from dotty-staging/doc-gen-erased

Fix build: Generate docs with erased terms

Author: nicolasstucki

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