diff options
author | Karl Berry <karl@freefriends.org> | 2009-08-22 23:18:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-08-22 23:18:40 +0000 |
commit | a638995999fb20ed70793583d70a92c71f19bd6b (patch) | |
tree | 6eaaf3136824bcaeb58cf4d61902e35bcfe641f6 /Master/bin/i386-freebsd/fixpspps | |
parent | 4b8669a481038d5830ab9c4cfb38c90b085b0278 (diff) |
remove both new amd64-freebsd from norbert and old i386-freebsd from randy last year; we will see if any freebsd users were actually interested in the native tl build
git-svn-id: svn://tug.org/texlive/trunk@14820 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/i386-freebsd/fixpspps')
-rwxr-xr-x | Master/bin/i386-freebsd/fixpspps | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/Master/bin/i386-freebsd/fixpspps b/Master/bin/i386-freebsd/fixpspps deleted file mode 100755 index 77bba66d6b7..00000000000 --- a/Master/bin/i386-freebsd/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"); - |