From abfde4ea239de6b9458243a862d5da0302a241a4 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 7 Jan 2020 20:39:55 +0000
Subject: [PATCH] docs: Write man pages to man/ subdirectory.

Allows us to test multi-parameter goals.
---
 .gitignore  |  2 +-
 Goalfile.in | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 7593c84..c7b71aa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,7 @@
 *.cmxa
 *.o
 
-/docs/*.1
+/man/*.?
 
 .depend
 Goalfile
diff --git a/Goalfile.in b/Goalfile.in
index 187ced3..75ce273 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -18,7 +18,7 @@
 
 include "ocaml.gl"
 
-let subdirs = [ "m4", "src", "stdlib", "docs", "tests" ]
+let subdirs = [ "m4", "src", "stdlib", "docs", "man", "tests" ]
 
 goal all = : "Goalfile", tool, documentation;
 
@@ -110,15 +110,15 @@ goal depend =
 
 let POD2MAN = "@POD2MAN@"
 
-goal documentation = : pod2man ("goals")
+goal documentation = : pod2man ("goals", "1")
 
-goal pod2man (page) =
-"docs/%page.1" : "docs/%page.pod" {
+goal pod2man (page, section) =
+"man/%page.%section" : "docs/%page.pod" {
     rm -f %@ %@-t
     %POD2MAN \
         -u \
         -c "goals" \
         --release "@PACKAGE_NAME@-@PACKAGE_VERSION@" \
-        --section 1 %< > %@-t
+        --section %section %< > %@-t
     mv %@-t %@
 }
\ No newline at end of file
-- 
1.8.3.1