lib/Tools/document

--- a/lib/Tools/document	Fri Oct 26 16:49:10 2001 +0200
+++ b/lib/Tools/document	Fri Oct 26 18:16:31 2001 +0200
@@ -84,14 +84,9 @@
 {
   local FMT="$1"
   [ -n "$CLEAN" ] && rm -f *.aux *.out
-  if [ -f root.bib ]
-  then
-    "$ISATOOL" latex -o "$FMT" && \
-    "$ISATOOL" latex -o bbl && \
-    "$ISATOOL" latex -o "$FMT"
-  else
-    "$ISATOOL" latex -o "$FMT"
-  fi
+  "$ISATOOL" latex -o "$FMT" && \
+  { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
+  "$ISATOOL" latex -o "$FMT"
 }
 
 (