diff options
author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-08-21 20:57:12 +0200 |
---|---|---|
committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-09-18 22:12:39 +0200 |
commit | 7bf12820f61179900f9d1f753acf91fd33724976 (patch) | |
tree | 05b213145b0462dfc69dc4d1f1184f7efa21a327 /doc/guix.texi | |
parent | a515f8b1d8fbda4ea791762fc3987bd5411de077 (diff) |
maint: Support `guix shell' in Guix's git archive with manifest.scm.
* manifest.scm: New file.
* Makefile.am (EXTRA_DIST): Add it.
* doc/contributing.texi (Building from Git): Mention using it.
Diffstat (limited to 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions