| changeset 14367 | 0b1447d37161 |
| parent 14344 | 0f0a2148a099 |
| child 14936 | a13d5118f628 |
--- a/lib/Tools/document Tue Jan 27 15:49:33 2004 +0100 +++ b/lib/Tools/document Wed Jan 28 01:19:34 2004 +0100 @@ -83,7 +83,7 @@ function pre_latex () { local FMT="$1" - [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind + [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log "$ISATOOL" latex -o sty && \ "$ISATOOL" latex -o "$FMT" && \ { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \