--- doc/help/render.texxml.pl 2003/07/01 18:21:24 1.12 +++ doc/help/render.texxml.pl 2004/09/14 22:26:17 1.18 @@ -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."; +}; print "Copying .eps files...\n"; system ( "cp $epssource/* $tmpdir/" ); print "Running Latex...\n"; -system ( "cd $tmpdir; echo | latex $fileroot $redir; echo | latex $fileroot $redir; echo | latex $fileroot\ $redir; " ); +system ( "cd $tmpdir; echo | latex $fileroot $redir; echo | latex $fileroot $redir; makeindex $fileroot.idx; echo | latex $fileroot\ $redir; " ); print "Running dvips...\n"; system ( "cd $tmpdir; dvips -Ppdf -G0 -f $fileroot.dvi > $fileroot.ps " );