[patch] patch for pstoimg.pl

pstoimg.patch (text/plain), 705 bytes, created by pavel sanda on 2007-01-09 14:01:34 UTC

--- /usr/lib/latex2html/pstoimg.pl	2007-01-09 14:51:43.000000000 +0100
+++ pstoimg.pl	2007-01-09 14:51:19.000000000 +0100
@@ -270,6 +270,7 @@
 my $PNMCAT = '/usr/bin/pnmcat';
 my $PNMFILE = '/usr/bin/pnmfile';
 my $PBMMAKE = '/usr/bin/pbmmake';
+my $PAMPICK = '/usr/bin/pampick' ;
 # GIF support
 my $PPMTOGIF = '/usr/bin/ppmtogif';
 # PNG support
@@ -1272,9 +1273,9 @@
   # run ppmquant only on color/gray images
   if($reduce_color && (!$type || $type =~ /(ppm|pgm)/i)) {
     if($cmd) {
-      $cmd .= "| $reduce_color "
+      $cmd .= "$PAMPICK 0 | $reduce_color "
     } else {
-      $cmd = "$reduce_color < $in ";
+      $cmd = "$PAMPICK 0 < $in | $reduce_color ";
     }
   } else { $cmd = '' }