diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-04 17:28:37 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-05 17:32:08 +0100 |
commit | f7c870f78afa5cdb27726ad9b0db931bbd87ca65 (patch) | |
tree | c17c54e276668a280603209d958ea6e6bbfecf45 /tests/scripts.scm | |
parent | 0ebc1b934d39b6c924cbe17fd37ceb2b201e9ac2 (diff) | |
download | guix-f7c870f78afa5cdb27726ad9b0db931bbd87ca65.tar.gz guix-f7c870f78afa5cdb27726ad9b0db931bbd87ca65.zip |
gnu: papi: Fix documentation location.
* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’
to a customary subdirectory of /share/doc.
Diffstat (limited to 'tests/scripts.scm')
0 files changed, 0 insertions, 0 deletions