Ticket #50949: gphelp.diff

File gphelp.diff, 1.5 KB (added by ogrizzo@…, 9 years ago)
  • gphelp

    old new  
    4747# no expanded material (@key@) below
    4848$wwwsite= "http://pari.math.u-bordeaux.fr/";
    4949
    50 $xdvi = $ENV{GPXDVI} || "xdvi";
     50$xdvi = $ENV{GPXDVI} || "open";
    5151$xdviref = $ENV{GPXDVIREF} || "$xdvi -paper 29.7x21cm";
    5252$gzip = "gzip";
    5353$zcat = "$gzip -dc";
    5454$bzip = "bzip2";
    5555$bzcat = "$bzip -dc";
    5656$docdir = &get_docdir();
    57 $tex = $ENV{GPTEX} || "tex";
     57$tex = $ENV{GPTEX} || "pdftex";
    5858
    5959$refcard = (@ARGV and $ARGV[-1] =~ /refcard/i);
    6060
     
    438438sub posttex {
    439439  my ($wrap) = "$tmpdir/gpwrapper.help";
    440440  my (@goners) = ("$texfile.tex",
    441                   "$wrap.tex", "$wrap.dvi", "$wrap.log", "$wrap.aux");
     441                  "$wrap.tex", "$wrap.dvi", "$wrap.pdf", "$wrap.log", "$wrap.aux");
    442442  if (!$found) { unlink @goners; rmdir("$tmpdir"); cleanexit(); }
    443443
    444444  open(WRAP, ">$wrap.tex") || die "Couldn't open $wrap.tex";
     
    470470
    471471  chdir($tmpdir);
    472472  $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";
    475475  safe_setsid();
    476476  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)&");
    478479}
    479480
    480481#