diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/linux.scm | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 5dde319361..6d2aa89d35 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -816,6 +816,7 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (version version) (source source) (supported-systems supported-systems) + (outputs `("out" ,@(if build-doc? '("doc") '()))) (build-system gnu-build-system) (arguments (list @@ -842,10 +843,16 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (invoke "make" "infodocs"))) (add-after 'build-doc 'install-doc (lambda _ - (with-directory-excursion "Documentation/output" - (invoke "make" "-C" "texinfo" "install-info" - (string-append "infodir=" #$output - "/share/info")))))) + (let* ((info-dir (string-append #$output:doc + "/share/info")) + (info (string-append + info-dir "/TheLinuxKernel.info.gz"))) + (with-directory-excursion "Documentation/output" + (invoke "make" "-C" "texinfo" "install-info" + (string-append "infodir=" info-dir))) + ;; Create a symlink, for convenience. + (symlink info (string-append info-dir + "/linux.info.gz")))))) #~()) (add-before 'configure 'set-environment (lambda* (#:key target #:allow-other-keys) |