--- doc/help/render.texxml.pl	2003/07/01 18:20:52	1.11
+++ doc/help/render.texxml.pl	2003/07/01 18:21:24	1.12
@@ -66,8 +66,8 @@ if ( defined ( $ARGV[2] ) ) # override e
     $epssource = $ARGV[2];
 }
 
-#my $redir = ">& /dev/null"; # empty this for easier debugging
-my $redir = ">> error_log.txt";
+my $redir = ">& /dev/null"; # empty this for easier debugging
+#my $redir = ">> error_log.txt";
 
 mkdir $tmpdir, 0755;
 
@@ -90,7 +90,7 @@ print "Converting to PDF (may take a bit
 system ( "ps2pdf $fileroot.ps $fileroot.pdf" );
 
 print "Clearing temp directory...\n";
-#system ( "rm -rf $tmpdir" );
+system ( "rm -rf $tmpdir" );
 
 if ( -e $fileroot . ".ps" )
 {