Fix make-install and make-dist when --disable-docs is set #19896

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

ktossell:allow-nodoc-installktossell/rust:allow-nodoc-installCopy head branch name to clipboard