gnu: papi: Fix documentation location.

* gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’
to a customary subdirectory of /share/doc.
This commit is contained in:
Tobias Geerinckx-Rice 2018-03-04 17:28:37 +01:00
parent 0ebc1b934d
commit f7c870f78a
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 2 additions and 2 deletions

View File

@ -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))