version 1.7, 2002/08/09 14:48:31
|
version 1.8, 2002/08/12 16:20:40
|
Line 59 if (substr($fileroot, -7) eq ".texxml")
|
Line 59 if (substr($fileroot, -7) eq ".texxml")
|
$fileroot = substr($fileroot, 0, -7); |
$fileroot = substr($fileroot, 0, -7); |
} |
} |
|
|
|
if ( -e "$fileroot.pdf" ) |
|
{ |
|
print "$fileroot already built.\n"; |
|
exit(); |
|
} |
|
|
my $epssource = "/home/httpd/html/adm/help/eps"; |
my $epssource = "/home/httpd/html/adm/help/eps"; |
|
|
if ( defined ( $ARGV[2] ) ) # override eps source, for build on install |
if ( defined ( $ARGV[2] ) ) # override eps source, for build on install |