remove *.out;
authorwenzelm
Mon, 21 Feb 2000 14:08:15 +0100
changeset 8269 d28f549105fe
parent 8268 722074b93cdd
child 8270 8f5767370f69
remove *.out;
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" && \