+# Add a bibtex option for the streaming notes.
+# Since the bibtex needs to be part of the fixed-pointing, I unfortunately don't
+# see a better way to handle it than as part of retex. - Matt 2008-09-02
+if [ "$1" == --bibtex ]; then
+ bibtex=1
+ shift
+fi
+
+if [ $# != 2 ]; then
+ echo >&2 'usage: retex [--bibtex] CMD INPUTNAME (without .tex)'
+ exit 1
+fi
+