lib/Tools/document

   [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
   "$ISABELLE_TOOL" latex -o sty "$ROOT_NAME.tex" && \
   "$ISABELLE_TOOL" latex -o "$FMT" "$ROOT_NAME.tex" && \
   { [ ! -f "$ROOT_NAME.bib" ] || "$ISABELLE_TOOL" latex -o bbl "$ROOT_NAME.tex"; } && \
   { [ ! -f "$ROOT_NAME.idx" ] || "$ISABELLE_TOOL" latex -o idx "$ROOT_NAME.tex"; } && \
-  "$ISABELLE_TOOL" latex -o "$FMT"
+  "$ISABELLE_TOOL" latex -o "$FMT" "$ROOT_NAME.tex"
 }
 
 (
   cd "$DIR" || fail "Bad directory '$DIR'"