#!/bin/sh
UNTEX=`which untex`
if [ -n "$UNTEX" ]; then nice -n19 $UNTEX "$1" > "$2";
else cat "$1" > "$2";
fi
