diff options
Diffstat (limited to 'gnu/packages/linux.scm')
| -rw-r--r-- | gnu/packages/linux.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 869b4f752b..9a410b0b10 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -4587,8 +4587,9 @@ relevant @file{/dev/vcs*} file(s).") (delete 'configure) ; no configure script (add-after 'build 'build-documentation (lambda* (#:key make-flags #:allow-other-keys) - (zero? (apply system* "make" "-C" "doc" - make-flags)))) + (apply invoke "make" "-C" "doc" + make-flags) + #t)) (add-after 'build 'qualify-references (lambda* (#:key inputs outputs #:allow-other-keys) (let* ((pnmtopng (assoc-ref inputs "pnmtopng")) |