lib/Tools/document
changeset 14936 a13d5118f628
parent 14367 0b1447d37161
child 14981 e73f8140af78
equal deleted inserted replaced
14935:c2441592be14 14936:a13d5118f628
    85   local FMT="$1"
    85   local FMT="$1"
    86   [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
    86   [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
    87   "$ISATOOL" latex -o sty && \
    87   "$ISATOOL" latex -o sty && \
    88   "$ISATOOL" latex -o "$FMT" && \
    88   "$ISATOOL" latex -o "$FMT" && \
    89   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    89   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    90   { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
    90   { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
    91     "$ISATOOL" latex -o "$FMT"
    91   "$ISATOOL" latex -o "$FMT"
    92 }
    92 }
    93 
    93 
    94 (
    94 (
    95   cd "$DIR" || fail "Bad directory '$DIR'"
    95   cd "$DIR" || fail "Bad directory '$DIR'"
    96 
    96