diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-17 23:00:42 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-17 23:09:23 +0100 |
| commit | 317b13f30e1e23e8fb2f18fcff50b8ee2e448321 (patch) | |
| tree | 96b97834ca1eea404beb3e2b0396ee8457e70134 /gnu | |
| parent | 6838611252d027a1ef8324cd6dae049040374067 (diff) | |
gnu: american-fuzzy-lop: Fix documentation directory.
* gnu/packages/debug.scm (american-fuzzy-lop)[arguments]: Install
documentation into its conventional location.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/debug.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 34cc479589..3e3c308dae 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -230,6 +230,8 @@ tools that process C/C++ code.") #t)))))))))))) (arguments `(#:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out")) + (string-append "DOC_PATH=$(PREFIX)/share/doc/" + ,name "-" ,version) "CC=gcc") #:phases (modify-phases %standard-phases (delete 'configure) |