isatool latex -o sty;
authorwenzelm
Wed Jan 09 17:36:34 2002 +0100 (2002-01-09 ago)
changeset 126884ad13c2f7196
parent 12687 a44fd835df98
child 12689 ba7d930e9b0d
isatool latex -o sty;
lib/Tools/document
     1.1 --- a/lib/Tools/document	Wed Jan 09 17:36:18 2002 +0100
     1.2 +++ b/lib/Tools/document	Wed Jan 09 17:36:34 2002 +0100
     1.3 @@ -84,6 +84,7 @@
     1.4  {
     1.5    local FMT="$1"
     1.6    [ -n "$CLEAN" ] && rm -f *.aux *.out
     1.7 +  "$ISATOOL" latex -o sty && \
     1.8    "$ISATOOL" latex -o "$FMT" && \
     1.9    { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    1.10    "$ISATOOL" latex -o "$FMT"