version 1.8, 2002/08/12 16:20:40
|
version 1.9, 2002/12/09 22:09:44
|
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 |
Line 73 if ( defined ( $ARGV[2] ) ) # override e
|
Line 67 if ( defined ( $ARGV[2] ) ) # override e
|
} |
} |
|
|
my $redir = ">& /dev/null"; # empty this for easier debugging |
my $redir = ">& /dev/null"; # empty this for easier debugging |
#$redir = ">> /home/jerf/work/loncapa/doc/help/error_log.txt"; |
#my $redir = ">> /home/jerf/work/loncapa/doc/help/error_log.txt"; |
|
|
mkdir $tmpdir, 0755; |
mkdir $tmpdir, 0755; |
|
|