--- doc/help/render.texxml.pl 2003/09/02 18:41:11 1.16 +++ doc/help/render.texxml.pl 2005/05/05 18:59:07 1.19 @@ -33,7 +33,7 @@ if ( scalar(@ARGV) < 2 ) { print (< $tmpdir/$fileroot.tex" )) { +if (system ( "perl texxml2latex.pl $fileroot.texxml $include_filenames > $tmpdir/$fileroot.tex" )) { $! = 1; die "Terminated render because texxml2latex failed; see previous error message."; }; @@ -92,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" ); @@ -101,5 +117,5 @@ if ( -e $fileroot . ".ps" ) } else { - print "Generationr of $fileroot.ps failed.\n"; + print "Generation of $fileroot.ps failed.\n"; }