annotate lib-src/pstogif @ 96:dbb370e3c29e r20-0final

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