| changeset 8269 | d28f549105fe |
| parent 8217 | dc3b8cdbb816 |
| child 8654 | 38ce936acb99 |
| 8268:722074b93cdd | 8269:d28f549105fe |
|---|---|
79 # prepare document |
79 # prepare document |
80 |
80 |
81 function pre_latex () |
81 function pre_latex () |
82 { |
82 { |
83 local FMT="$1" |
83 local FMT="$1" |
84 rm -f *.aux |
84 rm -f *.aux *.out |
85 if [ -f root.bib ] |
85 if [ -f root.bib ] |
86 then |
86 then |
87 $ISATOOL latex -o "$FMT" && \ |
87 $ISATOOL latex -o "$FMT" && \ |
88 $ISATOOL latex -o bbl && \ |
88 $ISATOOL latex -o bbl && \ |
89 $ISATOOL latex -o "$FMT" |
89 $ISATOOL latex -o "$FMT" |