lib/Tools/document

--- a/lib/Tools/document	Wed Jan 07 07:52:12 2004 +0100
+++ b/lib/Tools/document	Thu Jan 08 04:32:52 2004 +0100
@@ -83,11 +83,12 @@
 function pre_latex ()
 {
   local FMT="$1"
-  [ -n "$CLEAN" ] && rm -f *.aux *.out
+  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind
   "$ISATOOL" latex -o sty && \
   "$ISATOOL" latex -o "$FMT" && \
   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
-  "$ISATOOL" latex -o "$FMT"
+  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
+    "$ISATOOL" latex -o "$FMT"
 }
 
 (