diff options
| author | Hugo Buddelmeijer <hugo@buddelmeijer.nl> | 2025-12-23 12:10:54 +0100 |
|---|---|---|
| committer | Rutherther <rutherther@ditigal.xyz> | 2026-01-15 19:07:34 +0100 |
| commit | d08d7c6e5f640ceba4e84ca950fb771b4c5c1117 (patch) | |
| tree | 50872283be97e5ebfa7f91fd7b5b9303f0e84dfd /doc | |
| parent | 74d6654633ba8d37ebd1649bddbbc43cda4b81cc (diff) | |
doc: Better explain extra development tools when building from git.
* doc/contributing.texi (Building from Git): Better explain adding tools.
Change-Id: I47fb9e5414edc5eebce64d25db6998cc51985fcb
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #4821
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/contributing.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index 538489b079e..a46618b41b8 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi | |||
| @@ -203,11 +203,11 @@ installation instructions (@pxref{Requirements}). | |||
| 203 | @item @url{https://www.gnu.org/software/help2man/, GNU Help2man (optional)}. | 203 | @item @url{https://www.gnu.org/software/help2man/, GNU Help2man (optional)}. |
| 204 | @end itemize | 204 | @end itemize |
| 205 | 205 | ||
| 206 | On Guix, extra dependencies can be added by instead running @command{guix | 206 | On Guix, other development tools, like @code{strace}, can be included by |
| 207 | shell}: | 207 | giving them as extra arguments to @command{guix shell}: |
| 208 | 208 | ||
| 209 | @example | 209 | @example |
| 210 | guix shell -D guix help2man git strace --pure | 210 | guix shell -D guix -CPW strace |
| 211 | @end example | 211 | @end example |
| 212 | 212 | ||
| 213 | From there you can generate the build system infrastructure | 213 | From there you can generate the build system infrastructure |