diff options
author | Martin Schröder <martin@oneiros.de> | 2008-03-15 18:07:39 +0000 |
---|---|---|
committer | Martin Schröder <martin@oneiros.de> | 2008-03-15 18:07:39 +0000 |
commit | 1a4cd03424ed7ecd19ffbed9abacca8069cc065b (patch) | |
tree | 90834ee95473018c4028ba2f31c26d3e7352189b /Master/bin/i386-linux/fixpspps | |
parent | 6551b64647df0be3010eb5723b6e3a497d06b774 (diff) |
Resurrect the last known-good version of i386-linux:
svn cp -r 6968 svn://username:password@tug.org/texlive/trunk/Master/bin/i386-linux .
git-svn-id: svn://tug.org/texlive/trunk@6975 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/i386-linux/fixpspps')
-rwxr-xr-x | Master/bin/i386-linux/fixpspps | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/Master/bin/i386-linux/fixpspps b/Master/bin/i386-linux/fixpspps new file mode 100755 index 00000000000..77bba66d6b7 --- /dev/null +++ b/Master/bin/i386-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"); + |