version 1.17, 2004/09/14 21:18:44
|
version 1.19, 2005/05/05 18:59:07
|
Line 76 if ( $ARGV[2] eq '--with-filenames' || $
|
Line 76 if ( $ARGV[2] eq '--with-filenames' || $
|
$include_filenames='--with-filenames'; |
$include_filenames='--with-filenames'; |
} |
} |
|
|
my $redir = ">& /dev/null"; # empty this for easier debugging |
#my $redir = ">& /dev/null"; # empty this for easier debugging |
#my $redir = ">> /home/albertel/error_log.txt"; |
my $redir = "~/error_log.txt"; |
|
system("rm -f $redir"); |
|
$redir=">> $redir"; |
|
|
mkdir $tmpdir, 0755; |
mkdir $tmpdir, 0755; |
|
|
Line 102 system ( "cp $tmpdir/$fileroot.ps .");
|
Line 104 system ( "cp $tmpdir/$fileroot.ps .");
|
print "Converting to PDF (may take a bit)...\n"; |
print "Converting to PDF (may take a bit)...\n"; |
system ( "ps2pdf $fileroot.ps $fileroot.pdf" ); |
system ( "ps2pdf $fileroot.ps $fileroot.pdf" ); |
|
|
|
print "Rescuing log and tex file for debugging ...\n"; |
|
system ("cp $tmpdir/$fileroot.log ."); |
|
system ("cp $tmpdir/$fileroot.tex ."); |
|
|
print "Clearing temp directory...\n"; |
print "Clearing temp directory...\n"; |
system ( "rm -rf $tmpdir" ); |
system ( "rm -rf $tmpdir" ); |
|
|
Line 111 if ( -e $fileroot . ".ps" )
|
Line 117 if ( -e $fileroot . ".ps" )
|
} |
} |
else |
else |
{ |
{ |
print "Generationr of $fileroot.ps failed.\n"; |
print "Generation of $fileroot.ps failed.\n"; |
} |
} |