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 /README | |
parent | d6d5a67e759075cddd0c0075740ea5628fc8c0d1 (diff) | |
download | guix-305eefc0627eb1d047e6fc4320d7e56897719ab8.tar.gz |
gnu: hwloc: Add "doc" output.
* gnu/packages/mpi.scm (hwloc-1)[outputs]: Add "doc". [arguments]: Add 'move-man3-pages' phase.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions