# HG changeset patch
# User wenzelm
# Date 949235081 -3600
# Node ID f89329974d2df01b41876da7cb580ceb5e74b115
# Parent  4b9451fae406a7ff8bc362331809037b2902b658
rm -f *.aux;

diff -r 4b9451fae406 -r f89329974d2d lib/Tools/document
--- 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" && \