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 /graph.js | |
| parent | 0ebc1b934d39b6c924cbe17fd37ceb2b201e9ac2 (diff) | |
| download | guix-f7c870f78afa5cdb27726ad9b0db931bbd87ca65.tar guix-f7c870f78afa5cdb27726ad9b0db931bbd87ca65.tar.gz | |
gnu: papi: Fix documentation location.
* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’
to a customary subdirectory of /share/doc.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions