1.1 --- a/lib/Tools/document	Tue Jan 27 15:49:33 2004 +0100
     1.2 +++ b/lib/Tools/document	Wed Jan 28 01:19:34 2004 +0100
     1.3 @@ -83,7 +83,7 @@
     1.4  function pre_latex ()
     1.5  {
     1.6    local FMT="$1"
     1.7 -  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind
     1.8 +  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
     1.9    "$ISATOOL" latex -o sty && \
    1.10    "$ISATOOL" latex -o "$FMT" && \
    1.11    { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \