diff options
Diffstat (limited to 'bin/generate_rel_manpages')
| -rwxr-xr-x | bin/generate_rel_manpages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/generate_rel_manpages b/bin/generate_rel_manpages index 00940dd5587..7e5827a51f8 100755 --- a/bin/generate_rel_manpages +++ b/bin/generate_rel_manpages @@ -30,7 +30,7 @@ my $dot_path = '/usr/bin'; my $doxy_path = '/usr/bin'; -my $doxy_version = '1.3.7'; +my $doxy_version = '1.3.9.1'; &can_run($doxy_path.'/doxygen --version | grep '.$doxy_version.' >/dev/null') || die "$0: doxygen path or version incorrect, please fix the script\n"; |