From: Richard W.M. Jones Date: Tue, 7 Jan 2020 20:39:55 +0000 (+0000) Subject: docs: Write man pages to man/ subdirectory. X-Git-Tag: v'0.2'~62 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=abfde4ea239de6b9458243a862d5da0302a241a4;p=goals.git docs: Write man pages to man/ subdirectory. Allows us to test multi-parameter goals. --- 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