From 49a619ee30e3a0fb2167cfc067ac056228c3f452 Mon Sep 17 00:00:00 2001 From: Ying-Chieh Liao Date: Sat, 20 Apr 2002 15:36:16 +0000 Subject: - Update DISTNAME/MASTER_SITE of samsung-gdi driver - Add workaround for the problem that ps2epsi doesn't work PR: 37284 Submitted by: Ports Fury --- print/ghostscript-gpl/files/patch-lib:ps2epsi.ps | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 print/ghostscript-gpl/files/patch-lib:ps2epsi.ps (limited to 'print/ghostscript-gpl/files') diff --git a/print/ghostscript-gpl/files/patch-lib:ps2epsi.ps b/print/ghostscript-gpl/files/patch-lib:ps2epsi.ps new file mode 100644 index 000000000000..8e150354428c --- /dev/null +++ b/print/ghostscript-gpl/files/patch-lib:ps2epsi.ps @@ -0,0 +1,11 @@ +--- lib/ps2epsi.ps.orig Tue Jun 5 15:31:41 2001 ++++ lib/ps2epsi.ps Sat Apr 20 15:57:44 2002 +@@ -52,7 +52,7 @@ + /ps2epsi + { % Open the file + outfile (w) file /epsifile exch def +- //systemdict /.setsafe known { .setsafe } if ++% //systemdict /.setsafe known { .setsafe } if + % Get the device parameters + currentdevice getdeviceprops .dicttomark + /HWSize get aload pop -- cgit v1.2.3