diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-11-25 22:47:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-11-26 00:05:39 +0100 |
| commit | 305eefc0627eb1d047e6fc4320d7e56897719ab8 (patch) | |
| tree | b37b13bbcad0317dec5da1317023ae433a58ef1e /.guix-authorizations | |
| parent | d6d5a67e759075cddd0c0075740ea5628fc8c0d1 (diff) | |
gnu: hwloc: Add "doc" output.
* gnu/packages/mpi.scm (hwloc-1)[outputs]: Add "doc".
[arguments]: Add 'move-man3-pages' phase.
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions