Commit f62b807174c2b0e30fc9f12878939510c579e22e

Ryan C. Gordon 2022-01-07T21:31:38

wikiheaders.pl: Put the manpages in man/man3

1
2
3
4
5
6
7
8
9
10
11
12
13
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';