Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/document
changeset 51081 70a4c11cd79e
parent 48657 63ef2f0cf8bb
child 51822 7aebe43d6a14 
--- a/lib/Tools/document	Thu Feb 07 12:08:37 2013 +0100
+++ b/lib/Tools/document	Thu Feb 07 13:20:05 2013 +0100
@@ -124,7 +124,7 @@
   "$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"
 }
 
 (
isabelle