diff options
| -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 |