# HG changeset patch
# User urbanc
# Date 1211120388 -7200
# Node ID 3a3816ca44bb79d2b978d1ebec9662e1a1febdcf
# Parent  c460ed6eeeef5a192f96583b80fbba648910a437
proper handling of the return code for the ps-format (fixes a bug)

diff -r c460ed6eeeef -r 3a3816ca44bb 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)