diff options
| author | Sergio Pastor Pérez <sergio.pastorperez@gmail.com> | 2026-07-08 14:57:43 +0200 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2026-08-27 00:05:01 -0700 |
| commit | 38a7797012907bc8e0ec5f6d4e76aede9666e38a (patch) | |
| tree | 9e5df31a5649ad93089a14db07e8a8961a153e4d /doc | |
| parent | c63b4007bc230d7eb88c3f87fa6434f801b25279 (diff) | |
gnu: linux: Generalize Linux source building.
* gnu/packages/linux.scm (make-linux-libre-source, make-linux-libre)
(make-linux-libre*): Adjust to use generic Linux source prodecures.
(make-linux-source, make-linux*): New procedure.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions