--- doc/help/render.texxml.pl	2004/09/14 21:18:44	1.17
+++ doc/help/render.texxml.pl	2005/05/05 18:59:07	1.19
@@ -76,8 +76,10 @@ if ( $ARGV[2] eq '--with-filenames' || $
     $include_filenames='--with-filenames';
 }
 
-my $redir = ">& /dev/null"; # empty this for easier debugging
-#my $redir = ">> /home/albertel/error_log.txt";
+#my $redir = ">& /dev/null"; # empty this for easier debugging
+my $redir = "~/error_log.txt";
+system("rm -f $redir");
+$redir=">> $redir";
 
 mkdir $tmpdir, 0755;
 
@@ -102,6 +104,10 @@ system ( "cp $tmpdir/$fileroot.ps .");
 print "Converting to PDF (may take a bit)...\n";
 system ( "ps2pdf $fileroot.ps $fileroot.pdf" );
 
+print "Rescuing log and tex file for debugging ...\n";
+system ("cp $tmpdir/$fileroot.log ."); 
+system ("cp $tmpdir/$fileroot.tex ."); 
+
 print "Clearing temp directory...\n";
 system ( "rm -rf $tmpdir" );
 
@@ -111,5 +117,5 @@ if ( -e $fileroot . ".ps" )
 }
 else
 {
-    print "Generationr of $fileroot.ps failed.\n";
+    print "Generation of $fileroot.ps failed.\n";
 }