Merge pull request #11213 from MikeMcQuaid/rm_pod2man_shim

shims/mac/super/pod2man: delete.
This commit is contained in:
Mike McQuaid 2021-04-21 14:56:36 +01:00 committed by GitHub
commit 813f75159b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,14 +0,0 @@
#!/bin/bash
# HOMEBREW_PREFIX is set by bin/brew
# shellcheck disable=SC2154
POD2MAN="$(type -P pod2man ||
type -P pod2man5.30 ||
type -P pod2man5.28 ||
type -P pod2man5.18 ||
type -P pod2man5.16 ||
type -P pod2man5.12 ||
type -P /usr/bin/pod2man ||
type -P "${HOMEBREW_PREFIX}/opt/pod2man/bin/pod2man" ||
echo /usr/bin/pod2man)"
exec "${POD2MAN}" "$@"