wikiheaders.pl: Put the manpages in man/man3

This commit is contained in:
Ryan C. Gordon 2022-01-07 21:31:38 -05:00
parent 9294634840
commit f62b807174
No known key found for this signature in database
GPG key ID: FA148B892AB48044

View file

@ -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';