diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-11-15 14:05:36 -0500 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-11-24 16:35:11 -0500 |
commit | 82c43b276dd5e60c81ad2c040a9d945befc4bc88 (patch) | |
tree | 9f0ff65ebf8b34ae26c779ed193c6eed07778db6 /etc | |
parent | 5f8c11d48e4949aa77d7aaa1e7e25568bd8dfa97 (diff) | |
download | guix-82c43b276dd5e60c81ad2c040a9d945befc4bc88.tar.gz |
gnu: linux-libre: Enable building info doc.
* gnu/packages/patches/linux-libre-infodocs-target.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/linux.scm (linux-libre-6.0-source, linux-libre-5.15-source) (linux-libre-5.10-source): Apply above patch. (doc-supported?): New procedure. (make-linux-libre) [DOC-SUPPORTED?]: Add new patch in the default patches used. Add a BUILD-DOC? argument. (make-linux-libre*): Add a BUILD-DOC? argument. Validate BUILD-DOC? for supported VERSION. [arguments]: Conditionally add the build-doc and install-doc phases. [native-inputs]: Conditionally add fontconfig, graphviz, python-wrapper, python-sphinx, texinfo and which.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions