diff -r fd4b4ecf935e -r c58778bdf146 lib/Tools/latex
--- 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="$?"
     ;;