diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-12-01 09:34:54 -0500 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-12-01 10:53:49 -0500 |
commit | 748ec628826cea3faa3679074d87fae9bc810080 (patch) | |
tree | 39366a2b057806f04c28289f40e954580042f7ad /guix/build | |
parent | ad9d0f8e58414749d52c2eb2c6998a0926b74388 (diff) |
gnu: linux-libre: Move info manual to doc output.
The kernel Linux is installed in the system profile, which means the manual
was not easily discoverable. Move it to the "doc" output, so that users can
install the Linux documentation explicitly in their user profile without
pulling the whole Linux package.
* gnu/packages/linux.scm (make-linux-libre*) [outputs]: Conditionally add a
"doc" output.
[phases] {install-doc}: Install the info manual to the doc output, an create a
"linux" symlink to it for convenience.
* guix/build-system/linux-module.scm (make-linux-module-builder): Delete the
"doc" output, if present.
Diffstat (limited to 'guix/build')
0 files changed, 0 insertions, 0 deletions