Fix dotd command after doc-tool dep update#3884

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-dotddotty-staging/dotty:fix-dotdCopy head branch name to clipboard