diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl index 1259087be..2be760cac 100755 --- a/build-scripts/wikiheaders.pl +++ b/build-scripts/wikiheaders.pl @@ -1057,6 +1057,8 @@ if ($copy_direction == 1) { # --copy-to-headers my $manpath = "$srcpath/man"; mkdir($manpath); + $manpath .= "/man3"; + mkdir($manpath); $dewikify_mode = 'manpage'; $wordwrap_mode = 'manpage';