#!/bin/bash -e if [ "$ACTION" = installhdrs ]; then exit 0; fi if [[ "$PLATFORM_NAME" != "macosx" ]]; then exit 0; fi UNIFDEF_FLAGS="" MANPAGES_LIST="${SRCROOT}/man/manpages.lst" FILES=$(find -E ${SRCROOT} -regex '.*/[^.]+\.[0-9]' -type f) cat ${MANPAGES_LIST} | grep -v -E '(^#|^\s*$)' | while read first solid rest; do SOURCE=$(grep -E "/${first}$"<