summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/fixpspps
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-03-17 18:59:18 +0000
committerKarl Berry <karl@freefriends.org>2008-03-17 18:59:18 +0000
commitecc59f70e7697358db116ba7e90a3977b86c62e6 (patch)
tree1c03c55250ce90ce6ed5ec8f52094fdc1bec829a /Master/bin/x86_64-linux/fixpspps
parent2fb5a4418dfdb4235b9c1f2eb37590fabad634b0 (diff)
restore x86_64-linux
git-svn-id: svn://tug.org/texlive/trunk@7001 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/fixpspps')
-rwxr-xr-xMaster/bin/x86_64-linux/fixpspps58
1 files changed, 58 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/fixpspps b/Master/bin/x86_64-linux/fixpspps
new file mode 100755
index 00000000000..77bba66d6b7
--- /dev/null
+++ b/Master/bin/x86_64-linux/fixpspps
@@ -0,0 +1,58 @@
+#!/usr/bin/env perl
+# mangle PostScript produced by PSPrint to make it almost conforming
+#
+# Copyright (C) Angus J. C. Duggan 1991-1995
+# See file LICENSE for details.
+
+$header = 1; $ignore = 0;
+$verbose = 0;
+@body = ();
+%fonts = (); $font = "";
+$inchar = 0; @char = ();
+
+while (<>) {
+ if (/^\@end$/) {
+ $ignore = 1;
+ } elsif (/^[0-9]+ \@bop0$/) {
+ $ignore = 0;
+ $header = 1;
+ } elsif ($header) {
+ if (/^\/([a-z.0-9]+) \@newfont$/) {
+ if (! defined($fonts{$1})) {
+ $fonts{$1} = 1;
+ print;
+ } elsif ($verbose) {
+ print STDERR "$font already defined\n";
+ }
+ } elsif (/^([a-z.0-9]+) sf$/) {
+ $font = $1;
+ print;
+ } elsif (/^\[</) {
+ $inchar = 1;
+ push (@char, $_);
+ } elsif ($inchar) {
+ push (@char, $_);
+ if (/.*\] ([0-9]+) dc$/) {
+ if (! defined($fonts{$font,$1})) {
+ $fonts{$font,$1} = 1;
+ print (@char);
+ } elsif ($verbose) {
+ print STDERR "$font character $1 already defined\n";
+ }
+ $inchar = 0;
+ @char = ();
+ }
+ } elsif (/^([0-9]+) \@bop1$/) {
+ $header = 0;
+ push (@body, "%%Page: ? $1\n");
+ push (@body, $_);
+ } else {
+ print;
+ }
+ } elsif (! $ignore) {
+ push (@body, $_);
+ }
+}
+print (@body);
+print ("\@end\n");
+