# HG changeset patch
# User wenzelm
# Date 951138495 -3600
# Node ID d28f549105fea273c9f57f58b3002d477fc7b434
# Parent  722074b93cddb958d386a8551d5fd5a4ffd2d89c
remove *.out;

diff -r 722074b93cdd -r d28f549105fe lib/Tools/document
--- 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" && \