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 /gnu/local.mk | |
| parent | 5f8c11d48e4949aa77d7aaa1e7e25568bd8dfa97 (diff) | |
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 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 3b0e6b0c2c..7278c50e4f 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1482,7 +1482,8 @@ dist_patch_DATA = \ %D%/packages/patches/lierolibre-remove-arch-warning.patch \ %D%/packages/patches/lierolibre-try-building-other-arch.patch \ %D%/packages/patches/linbox-fix-pkgconfig.patch \ - %D%/packages/patches/linphone-desktop-without-sdk.patch \ + %D%/packages/patches/linphone-desktop-without-sdk.patch \ + %D%/packages/patches/linux-libre-infodocs-target.patch \ %D%/packages/patches/linux-libre-support-for-Pinebook-Pro.patch \ %D%/packages/patches/linux-pam-no-setfsuid.patch \ %D%/packages/patches/linuxdcpp-openssl-1.1.patch \ |