diff --git a/bin/figspecial2svg b/bin/figspecial2svg index 725ad527cead88d1833eddf86618f1e5aab2f078..a24742cc4af668cacff67ebf3047d8a3fbf787f8 100755 --- a/bin/figspecial2svg +++ b/bin/figspecial2svg @@ -5,7 +5,7 @@ use strict; my $localPid = `echo -n $$`; -system ("echo figspecial2svg $localPid >> /tmp/figspecial2svg.log"); +#system ("echo figspecial2svg $localPid >> /tmp/figspecial2svg.log"); #my $args= join(':', @ARGV); #print "figspecial2png $args \n";