wikiheaders.pl: Put the manpages in man/man3
diff --git a/build-scripts/wikiheaders.pl b/build-scripts/wikiheaders.pl
index 1259087..2be760c 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';