Ticket #50949: gphelp.diff
File gphelp.diff, 1.5 KB (added by ogrizzo@…, 9 years ago) |
---|
-
gphelp
old new 47 47 # no expanded material (@key@) below 48 48 $wwwsite= "http://pari.math.u-bordeaux.fr/"; 49 49 50 $xdvi = $ENV{GPXDVI} || " xdvi";50 $xdvi = $ENV{GPXDVI} || "open"; 51 51 $xdviref = $ENV{GPXDVIREF} || "$xdvi -paper 29.7x21cm"; 52 52 $gzip = "gzip"; 53 53 $zcat = "$gzip -dc"; 54 54 $bzip = "bzip2"; 55 55 $bzcat = "$bzip -dc"; 56 56 $docdir = &get_docdir(); 57 $tex = $ENV{GPTEX} || " tex";57 $tex = $ENV{GPTEX} || "pdftex"; 58 58 59 59 $refcard = (@ARGV and $ARGV[-1] =~ /refcard/i); 60 60 … … 438 438 sub posttex { 439 439 my ($wrap) = "$tmpdir/gpwrapper.help"; 440 440 my (@goners) = ("$texfile.tex", 441 "$wrap.tex", "$wrap.dvi", "$wrap. log", "$wrap.aux");441 "$wrap.tex", "$wrap.dvi", "$wrap.pdf", "$wrap.log", "$wrap.aux"); 442 442 if (!$found) { unlink @goners; rmdir("$tmpdir"); cleanexit(); } 443 443 444 444 open(WRAP, ">$wrap.tex") || die "Couldn't open $wrap.tex"; … … 470 470 471 471 chdir($tmpdir); 472 472 $out = `$tex $wrap.tex 2>&1 < /dev/null`; 473 -f "$wrap. dvi"474 || die "could not create '$wrap. dvi': status=$?, $out";473 -f "$wrap.pdf" 474 || die "could not create '$wrap.pdf': status=$?, $out"; 475 475 safe_setsid(); 476 476 my ($goners) = join(" ", @goners); 477 system("($xdvi $wrap.dvi 2>/dev/null >/dev/null; rm -f $goners; rmdir $tmpdir)&"); 477 # system("($xdvi $wrap.dvi 2>/dev/null >/dev/null; rm -f $goners; rmdir $tmpdir)&"); 478 system("($xdvi $wrap.pdf 2>/dev/null >/dev/null; rm -f $goners; rmdir $tmpdir)&"); 478 479 } 479 480 480 481 #