lib/Tools/document
changeset 14936 a13d5118f628
parent 14367 0b1447d37161
child 14981 e73f8140af78
     1.1 --- a/lib/Tools/document	Sun Jun 13 15:30:58 2004 +0200
     1.2 +++ b/lib/Tools/document	Sun Jun 13 15:31:11 2004 +0200
     1.3 @@ -87,8 +87,8 @@
     1.4    "$ISATOOL" latex -o sty && \
     1.5    "$ISATOOL" latex -o "$FMT" && \
     1.6    { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
     1.7 -  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
     1.8 -    "$ISATOOL" latex -o "$FMT"
     1.9 +  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
    1.10 +  "$ISATOOL" latex -o "$FMT"
    1.11  }
    1.12  
    1.13  (