changeset 14344 | 0f0a2148a099 |
parent 12688 | 4ad13c2f7196 |
child 14367 | 0b1447d37161 |
--- 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" } (