#! /bin/sh
-set -e
+set -ex
jobname=$1 opts=$2 file=$3 preamble=$4
case ",$opts," in
done
$tex -jobname "$jobname" "\\relax $preamble \\input $file"
-case ",$opts," in *,bibtex,*) bibtex "$jobname".aux;; esac
+case ",$opts," in *,bibtex,*) bibtex "$jobname".aux || :;; esac
$tex -jobname "$jobname" "\\relax $preamble \\input $file"
$tex -jobname "$jobname" "\\relax $preamble \\input $file"
case ",$opts," in