#!/bin/sh
# Wrapper for gencat
TMP=/tmp/catgen.$$
trap "rm -f $TMP" 0 1 2 3 15

GENCAT="$1"
shift
OUT="$1"
shift
cat "$@" > "$TMP"
echo "$(basename "$OUT" .cat)"
"${GENCAT}" "$OUT" "$TMP"