--- 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" && \