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 | |
| 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')
| -rw-r--r-- | doc/contributing.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index 156a6cb19e..4de659c7ed 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -77,6 +77,12 @@ hack on Guix: guix shell -D guix --pure @end example +or even, from within a Git worktree for Guix: + +@example +guix shell --pure +@end example + @xref{Invoking guix shell}, for more information on that command. If you are unable to use Guix when building Guix from a checkout, the |