version 1.4, 2002/08/19 21:40:55
|
version 1.5, 2012/01/02 11:37:02
|
Line 28
|
Line 28
|
|
|
use strict; |
use strict; |
|
|
|
## |
|
# Sub to determine the relative modification dates of files: |
|
# |
|
# @param file1 - First file |
|
# @param file2 - Seond file |
|
# |
|
# @return - 0 if file 1's mtime is <= file2's 1 otherwise. |
|
sub newer { |
|
my ($file1, $file2) = @_; |
|
|
|
# IF file2 does not exist, return false to force the build: |
|
|
|
if (not (-s $file2)) { |
|
return 0; |
|
} |
|
|
|
# Check modification times if file2 exists: |
|
|
|
my $m1 = (stat($file1))[9]; |
|
my $m2 = (stat($file2))[9]; |
|
|
|
return $m2 > $m1; |
|
} |
|
|
my $dirprefix = "../html/adm/help/"; |
my $dirprefix = "../html/adm/help/"; |
|
|
# Check that the png directory exists |
# Check that the png directory exists |
Line 55 foreach my $file (glob($dirprefix . "png
|
Line 79 foreach my $file (glob($dirprefix . "png
|
|
|
|
|
print "Converting $filename... gif"; |
print "Converting $filename... gif"; |
system ("convert $file $gifdest\n") if (not (-s $gifdest)); |
system ("convert $file $gifdest\n") if (not &newer($file, $gifdest)); |
print " eps"; |
print " eps"; |
system ("convert $file $epsdest\n") if (not (-s $epsdest)); |
system ("convert $file $epsdest\n") if (not &newer($file, $epsdest)); |
print " done.\n"; |
print " done.\n"; |
} |
} |