diff options
| author | Karl Berry <karl@freefriends.org> | 2005-12-28 00:09:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2005-12-28 00:09:08 +0000 |
| commit | 63f6de2319e769e12b29379025de08e3395edb31 (patch) | |
| tree | d033287cd4de6346c62690498de6602896ebc23c /Master/bin/win32/fixpspps.bat | |
| parent | 30dd9f517c9c093ff3319061647a4555264f7914 (diff) | |
trunk
git-svn-id: svn://tug.org/texlive/trunk@10 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/fixpspps.bat')
| -rwxr-xr-x | Master/bin/win32/fixpspps.bat | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/Master/bin/win32/fixpspps.bat b/Master/bin/win32/fixpspps.bat new file mode 100755 index 00000000000..5b6f76bdf85 --- /dev/null +++ b/Master/bin/win32/fixpspps.bat @@ -0,0 +1,58 @@ +@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");
+@END@
|