lib/Tools/document
changeset 8171 f89329974d2d
parent 7866 3ccaa11b6df9
child 8211 714f164f0385
     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" && \