--- a/lib/Tools/document Fri May 23 21:20:26 2008 +0200
+++ b/lib/Tools/document Sat May 24 02:19:09 2008 +0200
@@ -138,7 +138,7 @@
RC="$?"
elif [ "$OUTFORMAT" = pdf ]; then
pre_latex pdf && \
- "$ISATOOL" latex -o pdf && \
+ "$ISATOOL" latex -o pdf
RC="$?"
else
pre_latex dvi && \
--- a/lib/Tools/latex Fri May 23 21:20:26 2008 +0200
+++ b/lib/Tools/latex Sat May 24 02:19:09 2008 +0200
@@ -117,7 +117,7 @@
ps.gz)
check_root && \
run_latex && \
- run_dvips &&
+ run_dvips && \
gzip -f "$FILEBASE.ps"
RC="$?"
;;