Skip doc build (and do not fail) if an app is skipped by configure#10194

kvakvs merged 1 commit intoerlang:mainterlang/otp:maintfrom

kvakvs:eimytdl/no-build-doc-if-skipped/OTP-19771kvakvs/otp:eimytdl/no-build-doc-if-skipped/OTP-19771Copy head branch name to clipboard