lib/Tools/document
changeset 14344 0f0a2148a099
parent 12688 4ad13c2f7196
child 14367 0b1447d37161
equal deleted inserted replaced
14343:6bc647f472b9 14344:0f0a2148a099
    81 # prepare document
    81 # prepare document
    82 
    82 
    83 function pre_latex ()
    83 function pre_latex ()
    84 {
    84 {
    85   local FMT="$1"
    85   local FMT="$1"
    86   [ -n "$CLEAN" ] && rm -f *.aux *.out
    86   [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind
    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   "$ISATOOL" latex -o "$FMT"
    90   { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
       
    91     "$ISATOOL" latex -o "$FMT"
    91 }
    92 }
    92 
    93 
    93 (
    94 (
    94   cd "$DIR" || fail "Bad directory '$DIR'"
    95   cd "$DIR" || fail "Bad directory '$DIR'"
    95 
    96