version 1.2, 2002/07/17 15:45:49
|
version 1.3, 2002/07/19 16:56:23
|
Line 35 if (not (-d $dirprefix . "png/"))
|
Line 35 if (not (-d $dirprefix . "png/"))
|
{ die "Can't convert help graphics because the png directory is not ". |
{ die "Can't convert help graphics because the png directory is not ". |
"installed."; } |
"installed."; } |
|
|
mkdir $dirprefix . "gif/"; |
mkdir $dirprefix . "gif/", 0755; |
mkdir $dirprefix . "eps/"; |
mkdir $dirprefix . "eps/", 0755; |
|
|
foreach my $file (glob($dirprefix . "png/*.png")) |
foreach my $file (glob($dirprefix . "png/*.png")) |
{ |
{ |