diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2020-10-08 09:42:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-08 12:26:56 +0200 |
| commit | 6f406e5d15ce477664dbf5c443c0db59ea3a06ec (patch) | |
| tree | 01b223c662c96fbb766d2f97f562907ace09755e /THANKS | |
| parent | e463ee4c7bd44a7fdc372972fbc1d1ae8140f31b (diff) | |
| download | guix-6f406e5d15ce477664dbf5c443c0db59ea3a06ec.tar.gz guix-6f406e5d15ce477664dbf5c443c0db59ea3a06ec.zip | |
doc: Developers don't need to run "make install" in Guix.
Suggested by Emmanuel Agullo.
* doc/contributing.texi (Building from Git): Mention that running "make
install" is unnecessary.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions