Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isatool latex -o sty;
authorwenzelm
Wed, 09 Jan 2002 17:36:34 +0100
changeset 12688 4ad13c2f7196
parent 12687 a44fd835df98
child 12689 ba7d930e9b0d
isatool latex -o sty;
lib/Tools/document file | annotate | diff | comparison | revisions 
--- a/lib/Tools/document	Wed Jan 09 17:36:18 2002 +0100
+++ b/lib/Tools/document	Wed Jan 09 17:36:34 2002 +0100
@@ -84,6 +84,7 @@
 {
   local FMT="$1"
   [ -n "$CLEAN" ] && rm -f *.aux *.out
+  "$ISATOOL" latex -o sty && \
   "$ISATOOL" latex -o "$FMT" && \
   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
   "$ISATOOL" latex -o "$FMT"
isabelle