diff options
Diffstat (limited to 'bin/generate_rel_manpages')
| -rwxr-xr-x | bin/generate_rel_manpages | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/generate_rel_manpages b/bin/generate_rel_manpages index f95ec731ef4..06cc14b943e 100755 --- a/bin/generate_rel_manpages +++ b/bin/generate_rel_manpages @@ -13,9 +13,9 @@ require Cwd; ########## my $hostname; chomp ($hostname = $ENV{'HOSTNAME'} || `uname -n`); -unless ("$hostname" eq 'naboo') { +unless ("$hostname" eq 'tao') { #### For efficiency sake . . . - die "$0: must run on host naboo.dre.vanderbilt.edu\n"; + die "$0: must run on host tao.dre.vanderbilt.edu\n"; } my $perl_path = '/usr/bin/perl'; @@ -30,7 +30,7 @@ my $dot_path = '/usr/bin'; my $doxy_path = '/usr/bin'; -my $doxy_version = '1.4.6-4'; +my $doxy_version = '1.4.1'; &can_run($doxy_path.'/doxygen --version | grep '.$doxy_version.' >/dev/null') || die "$0: doxygen path or version incorrect, please fix the script\n"; |