# HG changeset patch
# User wenzelm
# Date 1004112991 -7200
# Node ID 9c812b21b2e842c8213fb32f786f436fcd754517
# Parent  013d52bb000076e2d788169ad119b753857979e5
need at least 3 latex runs to get toc right!

diff -r 013d52bb0000 -r 9c812b21b2e8 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"
 }
 
 (