lib/Tools/document
changeset 14344 0f0a2148a099
parent 12688 4ad13c2f7196
child 14367 0b1447d37161
     1.1 --- a/lib/Tools/document	Wed Jan 07 07:52:12 2004 +0100
     1.2 +++ b/lib/Tools/document	Thu Jan 08 04:32:52 2004 +0100
     1.3 @@ -83,11 +83,12 @@
     1.4  function pre_latex ()
     1.5  {
     1.6    local FMT="$1"
     1.7 -  [ -n "$CLEAN" ] && rm -f *.aux *.out
     1.8 +  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind
     1.9    "$ISATOOL" latex -o sty && \
    1.10    "$ISATOOL" latex -o "$FMT" && \
    1.11    { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    1.12 -  "$ISATOOL" latex -o "$FMT"
    1.13 +  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
    1.14 +    "$ISATOOL" latex -o "$FMT"
    1.15  }
    1.16  
    1.17  (