lib/Tools/latex

--- a/lib/Tools/latex	Sun May 18 15:28:21 2008 +0200
+++ b/lib/Tools/latex	Sun May 18 16:19:48 2008 +0200
@@ -111,7 +111,7 @@
   ps)
     check_root && \
     run_latex && \
-    run_dvips &&
+    run_dvips
     RC="$?"
     ;;
   ps.gz)