diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-10-16 08:30:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-14 17:40:54 +0100 |
| commit | a8ce718908c760eba0fdca2702609a2d8762ecb3 (patch) | |
| tree | e8cac9f791b5a20cb2a6ea2d5c35abcc621d7eb1 /gnu/packages/mpi.scm | |
| parent | bd0f2173210416e86281c1de8789e7cdab66dd57 (diff) | |
gnu: opensm: Use the right version string for the doc directory.
Previously, when built with ‘--with-latest=opensm’, the package would
install its documentation under a directory with the wrong version
string.
* gnu/packages/fabric-management.scm (opensm)[arguments]: Use the name
and version of THIS-PACKAGE.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions