update SGI build files to latest source

1 files changed, 28 insertions, 0 deletions

diff --git a/packaging/SGI/psfixes.pl b/packaging/SGI/psfixes.pl
new file mode 100755
index 00000000000..c64b67c8d40
--- /dev/null
+++ b/packaging/SGI/psfixes.pl
@@ -0,0 +1,28 @@
+#!/usr/bin/perl
+
+$found_vm = 0;
+
+while (<>) {
+  if (not $found_vm) {
+    if (not /^%/) {
+	if (/^%%Title:/) {
+	    s/.
$/
/;
+	    print;
+	}
+	else {
+	    if (/^\/VM?/) {
+		print "/VM? { pop } bind def
\n";
+		$found_vm = 1;
+	    }
+	    else {
+		print;
+	    }
+	}
+    }
+  }
+  else {
+    if (/def
/) {
+	$found_vm = 0;
+    }
+  }
+}