aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-01-31 17:35:56 +0100
committerLudovic Courtès <ludo@gnu.org>2016-02-01 08:59:13 +0100
commitff853a2a0615764e24abc9ce5850830a432022be (patch)
treea94eccada8276083b85fa2c96e3f022e31420297
parente3f755f44c257093c26eab1e7f839808edd57973 (diff)
downloadguix-ff853a2a0615764e24abc9ce5850830a432022be.tar
guix-ff853a2a0615764e24abc9ce5850830a432022be.tar.gz
build: Use the right section and source for man pages.
* doc.am (HELP2MANFLAGS): New variable. (gen_man): Use it.
-rw-r--r--doc.am6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc.am b/doc.am
index e542161878..67da8ff8e2 100644
--- a/doc.am
+++ b/doc.am
@@ -120,7 +120,11 @@ dist_man1_MANS = \
$(sub_commands_mans)
# Man pages are generated using GNU help2man.
-gen_man = LANGUAGE= $(top_builddir)/pre-inst-env $(HELP2MAN)
+gen_man = \
+ LANGUAGE= $(top_builddir)/pre-inst-env $(HELP2MAN) \
+ $(HELP2MANFLAGS)
+
+HELP2MANFLAGS = --source=GNU --info-page=$(PACKAGE_TARNAME)
# Note: Do not depend on 'scripts/guix' since that would trigger a rebuild
# even for people building from a tarball.