# HG changeset patch
# User wenzelm
# Date 1010594194 -3600
# Node ID 4ad13c2f7196381feb690cdf705d57f778234bc2
# Parent  a44fd835df98bb6ad10f2556cb5cc7bfa8397407
isatool latex -o sty;

diff -r a44fd835df98 -r 4ad13c2f7196 lib/Tools/document
--- 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"