--- 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" && \
changeset 8171	f89329974d2d
parent 7866	3ccaa11b6df9
child 8211	714f164f0385