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 /.guix-channel | |
parent | e463ee4c7bd44a7fdc372972fbc1d1ae8140f31b (diff) | |
download | guix-6f406e5d15ce477664dbf5c443c0db59ea3a06ec.tar guix-6f406e5d15ce477664dbf5c443c0db59ea3a06ec.tar.gz |
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 '.guix-channel')
0 files changed, 0 insertions, 0 deletions