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 12688 4ad13c2f7196
parent 11948 9c812b21b2e8
child 14344 0f0a2148a099 
--- 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