songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Repaired bug that caused removal of doc_ps/* files. 

Chosing different log directory now.
This commit is contained in:
Geert-Jan Giezeman 1998-07-13 13:07:24 +00:00
parent 46b2837453
commit 74509f5a2b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Packages/Maintenance/package_handling/install_www_submission
View File

@ -31,7 +31,7 @@ $ENV{PATH}=
# logfile # logfile
$::ACTUAL_LOGFILE='install_www_submission.log'; $::ACTUAL_LOGFILE="/tmp/install_www_submission.log.$$";
# ---------------------------------------------------- # ----------------------------------------------------
# program for getting files via http/ftp # program for getting files via http/ftp
@ -142,7 +142,7 @@ sub unpack_package($)
sub gzip_if_psfile sub gzip_if_psfile
{ {
if ($_ =~ /\.ps\s*/ and -f $_) { if ($_ =~ /\.ps\s*$/ and -f $_) {
system('gzip',"$_"); system('gzip',"$_");
} }
} }
@ -246,10 +246,10 @@ sub remove_files()
if (-d $file) { if (-d $file) {
next if $file eq '.'; next if $file eq '.';
next if $file eq '..'; next if $file eq '..';
next if $file eq 'doc_ps';
system 'rm', '-rf', "$file"; system 'rm', '-rf', "$file";
} elsif (-f $file) { } elsif (-f $file) {
next if $file =~ /\.zip$/; next if $file =~ /\.zip$/;
next if $file eq 'doc_ps';
next if $file eq 'version'; next if $file eq 'version';
next if $file eq 'description.txt'; next if $file eq 'description.txt';
next if $file eq 'long_description.txt'; next if $file eq 'long_description.txt';