Wishlist: check_postmap_up_to_date

[mgedmin]

Implementation:

# check if a generated file is newer than the source file
check_postmap_up_to_date() {
    info_check check_postmap_up_to_date "$@"
    f="$1"
    [ "$f.db" -ot "$f" ] && {
        warn "$f.db out of date; run postmap $f"
        return 1
    }
    return 0
}