rm -f *.aux;
authorwenzelm
Sun Jan 30 13:24:41 2000 +0100 (2000-01-30)
changeset 8171f89329974d2d
parent 8170 4b9451fae406
child 8172 988a7737e158
rm -f *.aux;
lib/Tools/document
     1.1 --- a/lib/Tools/document	Sat Jan 29 14:22:16 2000 +0100
     1.2 +++ b/lib/Tools/document	Sun Jan 30 13:24:41 2000 +0100
     1.3 @@ -78,6 +78,7 @@
     1.4  function pre_latex ()
     1.5  {
     1.6    local FMT="$1"
     1.7 +  rm -f *.aux
     1.8    if [ -f root.bib ]
     1.9    then
    1.10      $ISATOOL latex -o "$FMT" && \