remove *.out;
authorwenzelm
Mon Feb 21 14:08:15 2000 +0100 (2000-02-21)
changeset 8269d28f549105fe
parent 8268 722074b93cdd
child 8270 8f5767370f69
remove *.out;
lib/Tools/document
     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" && \