diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-17 18:56:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-17 18:56:31 +0000 |
commit | 3d015e8d520547e475549ca7935211bd8fa245a8 (patch) | |
tree | 042c388fb445e2779c3f14f41c3a13041d64aa5e /Master/bin/x86_64-linux/fixpspps | |
parent | 78da8bc918231ad68fab6cf2b1500b609f1a1356 (diff) |
prepare for restore
git-svn-id: svn://tug.org/texlive/trunk@6995 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/fixpspps')
-rwxr-xr-x | Master/bin/x86_64-linux/fixpspps | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/Master/bin/x86_64-linux/fixpspps b/Master/bin/x86_64-linux/fixpspps deleted file mode 100755 index 77bba66d6b7..00000000000 --- a/Master/bin/x86_64-linux/fixpspps +++ /dev/null @@ -1,58 +0,0 @@ -#!/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"); - |