From f2f4e11474538948ffdd503ff6e136fcdf9c81ef Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 8 Jan 2020 21:57:33 +0000 Subject: [PATCH] build: Create man/ subdirectory before building man pages. --- Goalfile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Goalfile.in b/Goalfile.in index f0aaab2..7a085e3 100644 --- a/Goalfile.in +++ b/Goalfile.in @@ -118,6 +118,7 @@ goal documentation = : pod2man ("goals", "1"), goal pod2man (page, section) = "man/%page.%section" : "docs/%page.pod" { rm -f %@ %@-t + mkdir -p man %POD2MAN \ -u \ -c "goals" \ -- 1.8.3.1