--- doc/help/render.texxml.pl 2002/07/25 15:19:03 1.5 +++ doc/help/render.texxml.pl 2003/07/01 18:20:52 1.11 @@ -34,7 +34,7 @@ if ( scalar(@ARGV) < 2 ) print (< $fileroot.ps $redir " ); +system ( "cd $tmpdir; dvips -Ppdf -G0 -f $fileroot.dvi > $fileroot.ps " ); print "Copying ps file...\n"; system ( "cp $tmpdir/$fileroot.ps ."); +print "Converting to PDF (may take a bit)...\n"; +system ( "ps2pdf $fileroot.ps $fileroot.pdf" ); + print "Clearing temp directory...\n"; #system ( "rm -rf $tmpdir" ); if ( -e $fileroot . ".ps" ) { - print "$fileroot.ps is ready.\n"; + print "$fileroot.ps and $fileroot.pdf are ready.\n"; } else {