diff options
| author | Leo Famulari <leo@famulari.name> | 2022-12-27 21:23:32 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2022-12-29 13:51:58 -0500 |
| commit | d07d6ea31a883d395d692483d84e7797b4c2ce0f (patch) | |
| tree | ed7e27fe4da103a81bd351b06bab598ca4fae900 /Makefile.am | |
| parent | 77d4bff94c6918eb0c0ccd20ee610e6dfc823aec (diff) | |
maint: Add a manifest for everything related to linux-libre.
* etc/kernels-manifest.scm: New file.
* Makefile.am (EXTRA_DIST): Add it.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index b54288c0fc..8b026b6da6 100644 --- a/Makefile.am +++ b/Makefile.am @@ -689,6 +689,7 @@ EXTRA_DIST += \ etc/guix-install.sh \ etc/historical-authorizations \ etc/news.scm \ + etc/kernels-manifest.scm \ etc/release-manifest.scm \ etc/source-manifest.scm \ etc/system-tests.scm \ |