diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 4633ef1d6..1049e145e 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -59,10 +59,6 @@ if ((not defined $optionsfname) && (-f $default_optionsfname)) { $optionsfname = $default_optionsfname; } -if (not defined $manpath) { - $manpath = "$srcpath/man"; -} - if (defined $optionsfname) { open OPTIONS, '<', $optionsfname or die("Failed to open options file '$optionsfname': $!\n"); while () { @@ -490,6 +486,10 @@ usage() if not defined $srcpath; usage() if not defined $wikipath; #usage() if $copy_direction == 0; +if (not defined $manpath) { + $manpath = "$srcpath/man"; +} + my @standard_wiki_sections = ( 'Draft', '[Brief]',