diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-01-31 17:35:56 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-02-01 08:59:13 +0100 |
| commit | ff853a2a0615764e24abc9ce5850830a432022be (patch) | |
| tree | a94eccada8276083b85fa2c96e3f022e31420297 | |
| parent | e3f755f44c257093c26eab1e7f839808edd57973 (diff) | |
| download | 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.am | 6 |
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. |