rm -f *.aux;

--- a/lib/Tools/document	Sat Jan 29 14:22:16 2000 +0100
+++ b/lib/Tools/document	Sun Jan 30 13:24:41 2000 +0100
@@ -78,6 +78,7 @@
 function pre_latex ()
 {
   local FMT="$1"
+  rm -f *.aux
   if [ -f root.bib ]
   then
     $ISATOOL latex -o "$FMT" && \