Merge pull request #11208 from MikeMcQuaid/newer_pod2man

pod2man: use newer pod2man.
This commit is contained in:
Mike McQuaid 2021-04-21 11:53:52 +01:00 committed by GitHub
commit 261cbe0572
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,7 +2,10 @@
# HOMEBREW_PREFIX is set by bin/brew
# shellcheck disable=SC2154
POD2MAN="$(type -P pod2man5.18 ||
POD2MAN="$(type -P /usr/bin/pod2man ||
type -P pod2man5.30 ||
type -P pod2man5.28 ||
type -P pod2man5.18 ||
type -P pod2man5.16 ||
type -P pod2man5.12 ||
type -P "${HOMEBREW_PREFIX}/opt/pod2man/bin/pod2man" ||