--- doc/help/render.texxml.pl 2002/07/25 15:19:03 1.5 +++ doc/help/render.texxml.pl 2002/08/09 14:48:31 1.7 @@ -34,7 +34,7 @@ if ( scalar(@ARGV) < 2 ) print (< $fileroot.ps $redir " ); +system ( "cd $tmpdir; dvips -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" ); +system ( "rm -rf $tmpdir" ); if ( -e $fileroot . ".ps" ) { - print "$fileroot.ps is ready.\n"; + print "$fileroot.ps and $fileroot.pdf are ready.\n"; } else {