--- a/lib/Tools/document Mon Feb 21 13:57:07 2000 +0100 +++ b/lib/Tools/document Mon Feb 21 14:08:15 2000 +0100 @@ -81,7 +81,7 @@ function pre_latex () { local FMT="$1" - rm -f *.aux + rm -f *.aux *.out if [ -f root.bib ] then $ISATOOL latex -o "$FMT" && \