Fix a bug causing Scaladoc break when -release option is set.#13233

pikinier20 merged 1 commit intoscala:masterscala/scala3:masterfrom

pikinier20:scaladoc/release-optionpikinier20/dotty:scaladoc/release-optionCopy head branch name to clipboard