build: Build and install manual pages.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 28 Jun 2018 21:10:14 +0000 (23:10 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:29:59 +0000 (22:29 +0200)
commit72e147f53fc11d0397e080297db31ef897346910
tree9156a09459483852bfcb800b35ff9e4582d422e8
parenta4770c1eed69dcf25e212097ba055d07b5fe5c77
build: Build and install manual pages.

* build-aux/export.make: New file.
* GNUmakefile (man): New target.
  (doc): Depend on man.
  include build-aux/export.make, remove exports.
* guix.scm (mes): Add dependency on help2man.
* configure: Check for help2man.
* install.sh: Install manual pages if built.
.gitignore
GNUmakefile
build-aux/export.make [new file with mode: 0644]
configure
guix.scm
install.sh