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 /gnu | |
| parent | 0ebc1b934d39b6c924cbe17fd37ceb2b201e9ac2 (diff) | |
| download | patches-f7c870f78afa5cdb27726ad9b0db931bbd87ca65.tar patches-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 'gnu')
| -rw-r--r-- | gnu/packages/profiling.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/profiling.scm b/gnu/packages/profiling.scm index 35f9d3884f..e70269e9a1 100644 --- a/gnu/packages/profiling.scm +++ b/gnu/packages/profiling.scm @@ -66,7 +66,7 @@ `(("autoconf" ,autoconf) ("gfortran" ,gfortran))) (arguments - '(#:tests? #f ; no check target + `(#:tests? #f ; no check target #:configure-flags ;; These are roughly per Fedora, but elide mx (assumed to be dead, even ;; Open-MX) and add and powercap -- I don't know the pros/cons of @@ -110,7 +110,7 @@ stealtime lmsensors infiniband powercap" (add-after 'install 'extra-doc (lambda* (#:key outputs #:allow-other-keys) (let ((doc (string-append (assoc-ref outputs "out") - "/share/doc"))) + "/share/doc/" ,name "-" ,version))) (chdir "..") ; we went into src above (for-each (lambda (file) (install-file file doc)) |