lib/Tools/document
changeset 14367 0b1447d37161
parent 14344 0f0a2148a099
child 14936 a13d5118f628
equal deleted inserted replaced
14366:dd4e0f2c071a 14367:0b1447d37161
    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 *.ind
    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"