lib/Tools/document
changeset 11948 9c812b21b2e8
parent 11844 eb072fd9a45a
child 12688 4ad13c2f7196
     1.1 --- a/lib/Tools/document	Fri Oct 26 16:49:10 2001 +0200
     1.2 +++ b/lib/Tools/document	Fri Oct 26 18:16:31 2001 +0200
     1.3 @@ -84,14 +84,9 @@
     1.4  {
     1.5    local FMT="$1"
     1.6    [ -n "$CLEAN" ] && rm -f *.aux *.out
     1.7 -  if [ -f root.bib ]
     1.8 -  then
     1.9 -    "$ISATOOL" latex -o "$FMT" && \
    1.10 -    "$ISATOOL" latex -o bbl && \
    1.11 -    "$ISATOOL" latex -o "$FMT"
    1.12 -  else
    1.13 -    "$ISATOOL" latex -o "$FMT"
    1.14 -  fi
    1.15 +  "$ISATOOL" latex -o "$FMT" && \
    1.16 +  { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    1.17 +  "$ISATOOL" latex -o "$FMT"
    1.18  }
    1.19  
    1.20  (