version 1.1, 2002/07/05 16:12:31
|
version 1.3, 2002/07/19 16:56:23
|
Line 28
|
Line 28
|
|
|
use strict; |
use strict; |
|
|
my $dirprefix = "/home/httpd/html/adm/help/"; |
my $dirprefix = "../html/adm/help/"; |
|
|
# Check that the png directory exists |
# Check that the png directory exists |
if (not (-d $dirprefix . "png/")) |
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")) |
{ |
{ |