X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile.in;h=39a95874cf200faf269bcd1b7888d6e59c9712c5;hb=b88599eb9c51240065878c8556976dc1cd805137;hp=187ced3fadc5b53a660789ec00857e89176566f5;hpb=d2a50cddaf47e1b83757f679eaea8c995ab5a462;p=goals.git

diff --git a/Goalfile.in b/Goalfile.in
index 187ced3..39a9587 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;
 
@@ -37,7 +37,7 @@ goal clean = {
         popd
     done
     rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
-    rm -f docs/*.1
+    rm -f man/*.1 man/*.5
 
     # We don't delete src/goals because it is required to do builds.
     # If you want to really delete it, use the maintainer-clean rule.
@@ -110,15 +110,17 @@ goal depend =
 
 let POD2MAN = "@POD2MAN@"
 
-goal documentation = : pod2man ("goals")
+goal documentation = : pod2man ("goals", "1"),
+                       pod2man ("Goalfile", "5"),
+                       pod2man ("goals-reference", "5")
 
-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