lib/Tools/document
changeset 8269 d28f549105fe
parent 8217 dc3b8cdbb816
child 8654 38ce936acb99
     1.1 --- a/lib/Tools/document	Mon Feb 21 13:57:07 2000 +0100
     1.2 +++ b/lib/Tools/document	Mon Feb 21 14:08:15 2000 +0100
     1.3 @@ -81,7 +81,7 @@
     1.4  function pre_latex ()
     1.5  {
     1.6    local FMT="$1"
     1.7 -  rm -f *.aux
     1.8 +  rm -f *.aux *.out
     1.9    if [ -f root.bib ]
    1.10    then
    1.11      $ISATOOL latex -o "$FMT" && \