diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:40 +0200 |
commit | f04dceac726873f0fef725eb05f5f7ca0cb204b3 (patch) | |
tree | ec21dc93005d376914fa3d63fad92a1cc3daacff /gnu | |
parent | e6c3e7d7416daebebe4d3e2d086461d6fb89ce93 (diff) | |
download | guix-f04dceac726873f0fef725eb05f5f7ca0cb204b3.tar.gz guix-f04dceac726873f0fef725eb05f5f7ca0cb204b3.zip |
gnu: beep: Drop obsolete $(pkgdocdir) make flag.
* gnu/packages/terminals.scm (beep)[arguments]: Remove "pkgdocdir="
from #:make-flags.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/terminals.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/terminals.scm b/gnu/packages/terminals.scm index 2367eccb3b..c5877affc2 100644 --- a/gnu/packages/terminals.scm +++ b/gnu/packages/terminals.scm @@ -578,8 +578,7 @@ to all types of devices that provide serial consoles.") (arguments (list #:make-flags #~(list (string-append "CC=" #$(cc-for-target)) - (string-append "prefix=" #$output) - (string-append "pkgdocdir=$(docdir)/" #$name "-" #$version)) + (string-append "prefix=" #$output)) #:phases #~(modify-phases %standard-phases (delete 'configure) ; no configure script |