if [ "$ACTION" = installhdrs ]; then exit 0; fi
if [ "${PLATFORM_NAME}" != "macosx" ]; then exit 0; fi
if [ "${SKIP_MANPAGES}" = "YES" ]; then exit 0; fi
if [ "$ACTION" = installhdrs ]; then exit 0; fi
if [ "${PLATFORM_NAME}" != "macosx" ]; then exit 0; fi
if [ "${SKIP_MANPAGES}" = "YES" ]; then exit 0; fi