author | wenzelm |
Fri, 26 Oct 2001 18:16:31 +0200 | |
changeset 11948 | 9c812b21b2e8 |
parent 11947 | 013d52bb0000 |
child 11949 | 38e20c036e37 |
--- 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" } (