Build.scala: Fix dottydoc bootstrap compilation#3251

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-dottydoc-builddotty-staging/dotty:fix-dottydoc-buildCopy head branch name to clipboard