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 /gnu | |
parent | e3f755f44c257093c26eab1e7f839808edd57973 (diff) | |
download | guix-patches-ff853a2a0615764e24abc9ce5850830a432022be.tar guix-patches-ff853a2a0615764e24abc9ce5850830a432022be.tar.gz |
build: Use the right section and source for man pages.
* doc.am (HELP2MANFLAGS): New variable.
(gen_man): Use it.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions