[Pkg-ocaml-maint-commits] [SCM] hevea packaging branch, master, updated. debian/1.10-12

[Ralf Treinen]

The following commit has been merged in the master branch:
commit ef6c3c8537c2ed7f262c5eb1a58f39887173d85b
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jun 1 20:25:59 2010 +0200

    patch: call gs safely

diff --git a/debian/patches/gs-options b/debian/patches/gs-options
new file mode 100644
index 0000000..72533bf
--- /dev/null
+++ b/debian/patches/gs-options
@@ -0,0 +1,16 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: call gs with safer options
+
+Index: hevea/imagen
+===================================================================
+--- hevea.orig/imagen	2010-06-01 20:15:50.000000000 +0200
++++ hevea/imagen	2010-06-01 20:17:41.000000000 +0200
+@@ -86,7 +86,7 @@
+ 
+ DVIPSOPTS="-Z $TPAPER"
+ GSOPTS="-q -dNOPAUSE -dBATCH -DNOPROMPT -sDEVICE=ppmraw \
+-	-r$RESOLUTION -dTextAlphaBits=2"
++	-r$RESOLUTION -dTextAlphaBits=2 -P- -dSAFER"
+ if [ "${TODIR}" = "." ]
+ then
+   FINAL=${BASE}%03d.${EXT}

-- 
hevea packaging