--- doc/help/render.texxml.pl	2003/07/24 14:47:58	1.14
+++ doc/help/render.texxml.pl	2003/09/02 18:29:58	1.15
@@ -66,13 +66,16 @@ 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 = ">> /home/jerf/error_log.txt";
 
 mkdir $tmpdir, 0755;
 
 print "Converting texxml to tex...\n";
-system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" );
+if (system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" )) {
+    $! = 1;
+    die "Terminated render because texxml2latex failed; see previous error message.";
+};
 
 print "Copying .eps files...\n";
 system ( "cp $epssource/* $tmpdir/" );