version 1.18, 2004/09/14 22:26:17
|
version 1.19, 2005/05/05 18:59:07
|
Line 104 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 113 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"; |
} |
} |