Fix #8769: change dottydoc root to docs/ subdirectory#9756

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:dottydoc-rootdotty-staging/dotty:dottydoc-rootCopy head branch name to clipboard