equal
deleted
inserted
replaced
136 if [ -f IsaMakefile ]; then |
136 if [ -f IsaMakefile ]; then |
137 "$ISATOOL" make "$OUTFORMAT" |
137 "$ISATOOL" make "$OUTFORMAT" |
138 RC="$?" |
138 RC="$?" |
139 elif [ "$OUTFORMAT" = pdf ]; then |
139 elif [ "$OUTFORMAT" = pdf ]; then |
140 pre_latex pdf && \ |
140 pre_latex pdf && \ |
141 "$ISATOOL" latex -o pdf && \ |
141 "$ISATOOL" latex -o pdf |
142 RC="$?" |
142 RC="$?" |
143 else |
143 else |
144 pre_latex dvi && \ |
144 pre_latex dvi && \ |
145 "$ISATOOL" latex -o "$OUTFORMAT" |
145 "$ISATOOL" latex -o "$OUTFORMAT" |
146 RC="$?" |
146 RC="$?" |