lib/Tools/document
changeset 12688 4ad13c2f7196
parent 11948 9c812b21b2e8
child 14344 0f0a2148a099
equal deleted inserted replaced
12687:a44fd835df98 12688:4ad13c2f7196
    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
       
    87   "$ISATOOL" latex -o sty && \
    87   "$ISATOOL" latex -o "$FMT" && \
    88   "$ISATOOL" latex -o "$FMT" && \
    88   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    89   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
    89   "$ISATOOL" latex -o "$FMT"
    90   "$ISATOOL" latex -o "$FMT"
    90 }
    91 }
    91 
    92