diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-05-31 13:42:43 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-09 12:02:28 +0200 |
| commit | 4554d4c8a925ed94ce846f927b43a65263acdd84 (patch) | |
| tree | 8e629a3f76456de6b7f7dd22ae744ace9857b3df /nix | |
| parent | 9f1c3559b00a41ca5a5f3230e7437ac8ea123ee4 (diff) | |
| download | guix-patches-4554d4c8a925ed94ce846f927b43a65263acdd84.tar guix-patches-4554d4c8a925ed94ce846f927b43a65263acdd84.tar.gz | |
self: Build the Info manual.
* guix/self.scm (info-manual): New procedure.
(whole-package): Add #:info and honor it.
(compiled-guix): Pass #:info.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions