annotate lib-src/pstogif @ 142:1856695b1fa9 r20-2b5

Import from CVS: tag r20-2b5
author cvs
date Mon, 13 Aug 2007 09:33:18 +0200
parents 6608ceec7cf8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
138
6608ceec7cf8 Import from CVS: tag r20-2b3
cvs
parents: 10
diff changeset
1 : # -*-Perl-*-
6608ceec7cf8 Import from CVS: tag r20-2b3
cvs
parents: 10
diff changeset
2 eval 'exec perl -w -S $0 ${1+"$@"}' # Portability kludge
6608ceec7cf8 Import from CVS: tag r20-2b3
cvs
parents: 10
diff changeset
3 if 0;
10
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
4 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
5 # pstogif.pl v1.0, July 1994, by Nikos Drakos <nikos@cbl.leeds.ac.uk>
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
6 # Computer Based Learning Unit, University of Leeds.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
7 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
8 # Accompanies LaTeX2HTML Version 96.1
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
9 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
10 # Script to convert an arbitrary PostScript image to a cropped GIF image
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
11 # suitable for incorporation into HTML documents as inlined images to be
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
12 # viewed with WWW browsers.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
13 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
14 # This is based on the pstoepsi script
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
15 # by Doug Crabill dgc@cs.purdue.edu
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
16 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
17 # Please note the following:
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
18 # - The source PostScript file must end
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
19 # in a .ps extention. This is a GhostScript requirement, not mine...
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
20 # - The -density argument has no effect unless the
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
21 # color depth (set with the -depth argument) is equal to 1.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
22 # - Valid arguments for -depth are 1,8, or 24.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
23 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
24 # This software is provided as is without any guarantee.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
25 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
26 # Nikos Drakos (ND), nikos@cbl.leeds.ac.uk
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
27 # Computer Based Learning Unit, University of Leeds.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
28 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
29 # 15 Jan 96 HS Call ppmquant only if needed. Fixed bug relative to
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
30 # V 95.3 .
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
31 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
32 # 15 Dec 95 HS (Herbert Swan <dprhws.edp.Arco.com> Added support for
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
33 # the flip=option. This allows images to be oriented differently
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
34 # in the paper versus the electronic media
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
35 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
36 # 1 Nov 95 jmn - modified for use with gs ppm driver - from jhrg's patches
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
37 # note that ppmtops.ps and ppmtops3.ps are no longer needed
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
38 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
39 # 20 JUL 94 ND Converted to Perl and made several changes eg it now accepts
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
40 # parameters from environment variables or from command line or will use
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
41 # default ones.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
42 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
43 # 1 APR 94 ND Changed the suffixes of multi-page files from xbm to gif (oops!)
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
44 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
45 #
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
46
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
47 #####################################################################
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
48 $| =1;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
49 &read_args;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
50
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
51 ### You may need to specify some pathnames here if you want to
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
52 ### run the script without LaTeX2HTML
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
53
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
54 # Ghostscript
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
55 $GS= $ENV{'GS'} || 'gs';
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
56
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
57 # Comes with LaTeX2HTML (For ghostscript versions greater than 3.0
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
58 # you need the newer pstoppm.ps)
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
59 #$PSTOPPM= $ENV{'PSTOPPM'} ||
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
60 # 'pstoppm.ps';
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
61
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
62 # Available in the PBMPLUS libary
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
63 $PNMCROP=$ENV{'PNMCROP'} || 'pnmcrop' ;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
64
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
65 # Also in PBMPLUS
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
66 $PNMFLIP=$ENV{'PNMFLIP'} || 'pnmflip' ;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
67
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
68 # Also in PBMPPLUS
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
69 $PPMTOGIF=$ENV{'PPMTOGIF'} || 'ppmtogif' ;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
70
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
71 # Also in PBMPPLUS
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
72 $REDUCE_COLOR=$ENV{'PPMQUANT'} || 'ppmquant 256' ;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
73
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
74 $OUTFILE = $ENV{'OUTFILE'} || $out;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
75
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
76 # Valid choices for $COLOR_DEPTH are 1, 8 or 24.
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
77 $DEPTH = $ENV{'DEPTH'} || $depth || 24;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
78
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
79 #Default density is 72
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
80 $DENSITY = $ENV{'DENSITY'} || $density || 72;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
81
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
82 # Valid choices are any numbers greater than zero
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
83 # Useful choices are numbers between 0.1 - 5
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
84 # Large numbers may generate very large intermediate files
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
85 # and will take longer to process
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
86 $SCALE = $ENV{'SCALE'} || $scale; # No default value
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
87
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
88 $PAPERSIZE = $ENV{'PAPERSIZE'} || $papersize; # No default value;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
89
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
90 $DEBUG = $ENV{'DEBUG'} || $DEBUG || 0;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
91
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
92 ######################################################################
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
93
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
94 &main;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
95
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
96 sub read_args {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
97 local($_);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
98 local($color);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
99 while ($ARGV[0] =~ /^-/) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
100 $_ = shift @ARGV;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
101 if (/^-h(elp)?$/) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
102 &usage; exit}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
103 elsif (/^-out$/) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
104 $out = shift @ARGV;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
105 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
106 elsif (/^-(.*)$/) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
107 eval "\$$1 = shift \@ARGV"; # Create and set a flag $<name>
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
108 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
109 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
110 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
111
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
112 sub main {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
113 local($base, $outfile, $i, $j);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
114 $base = &test_args;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
115 $outfile = $OUTFILE || "$base.gif";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
116 open(STDERR, ">/dev/null") unless $DEBUG;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
117 &convert($base);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
118 if (-f "$base.ppm") {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
119 &crop_scale_etc("$base.ppm", $outfile);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
120 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
121 else {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
122 foreach $i (<$base.[1-9]*ppm>) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
123 $j = $i;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
124 $j =~ s/\.(.*)ppm/$1.gif/;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
125 &crop_scale_etc($i, $j)}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
126 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
127 &cleanup($base);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
128 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
129
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
130 sub crop_scale_etc {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
131 local($in, $out) = @_;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
132 local($tmp) = $in . ".tmp";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
133 open(STDERR, ">/dev/null") unless $DEBUG;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
134
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
135 if ($flip) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
136 rename($tmp, $in) unless system("$PNMFLIP -$flip $in > $tmp");
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
137 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
138 system("$PNMCROP $in > $tmp");
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
139
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
140 if (system("$PPMTOGIF $tmp > $out")) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
141 print "Running ppmquant for $out\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
142 system("$REDUCE_COLOR < $tmp|$PPMTOGIF - > $out");
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
143 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
144 unlink $tmp;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
145 print "Writing $out\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
146 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
147
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
148 sub test_args {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
149 local($file) = $ARGV[0];
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
150 if (! ($file =~ s/\.ps$//)) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
151 print "The name of the input file must end in '.ps'\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
152 exit}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
153 elsif (! ( -f "$file.ps")) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
154 print "Cannot find file $file.ps\n.";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
155 exit}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
156 elsif (! ($DEPTH =~ /^(1|8|24)$/)) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
157 print "The color depth must be 1 or 8 or 24. You specified $DEPTH\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
158 exit
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
159 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
160 if (defined $SCALE) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
161 if ($SCALE > 0) {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
162 $DENSITY = int($SCALE * $DENSITY)}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
163 else {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
164 print "Error: The scale must be greater than 0.\n" .
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
165 "You specified $SCALE\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
166 exit}
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
167 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
168 $file;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
169 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
170
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
171 sub convert {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
172 local($base) = @_;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
173 local($paperopt) = "-sPAPERSIZE=$PAPERSIZE" if $PAPERSIZE;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
174 local($ppmtype) = join('', "ppm",$DEPTH,"run");
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
175 local($density) = "-r$DENSITY" if ($DENSITY != 72);
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
176 open (GS, "|$GS -q -dNOPAUSE -dNO_PAUSE -sDEVICE=ppmraw $density -sOutputFile=$base.ppm $paperopt $base.ps");
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
177 close GS;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
178 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
179
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
180 sub cleanup {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
181 local($base) = @_;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
182 unlink <$base[0-9.]*ppm>;
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
183 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
184
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
185 sub usage {
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
186 print "Usage: pstogif [-h(elp)] [-out <output file>] [-depth <color depth 1, 8 or 24>] [-flip <Flip_code>] [-density <pixel density>] <file>.ps\n\n";
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
187 }
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
188
49a24b4fd526 Import from CVS: tag r19-15b6
cvs
parents:
diff changeset
189