Add a -q option for "quiet" operation. Nothing gets out (not even stderr,
since that's tossed to stdout for capture in the .how file). It's a good
idea to use -l to get the log in case there are problems. Maybe this should
be the default and add a --verbose option to get the stdout? There's way
too much junk output.
DISCARD_TEMPS=''
shift 1
;;
+ -q|--quiet|__quie|--qui|--qu|--q)
+ QUIET=true
+ shift 1
+ ;;
-*)
usage
;;
set -x
fi
+if [ "$QUIET" ] ; then
+ exec >/dev/null
+fi
+
for FILE in $@ ; do
FILE=${FILE%.tex}
if [ "$BUILD_DVI" -o "$BUILD_PS" ] ; then