03/06: doc: Developers don't need to run "make install" in Guix.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 6f406e5d15ce477664dbf5c443c0db59ea3a06ec
Author: Ludovic Courtès <ludovic.courtes@inria.fr>
AuthorDate: Thu Oct 8 09:42:54 2020 +0200

    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.
---
 doc/contributing.texi | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/contributing.texi b/doc/contributing.texi
index 535cfc2..c6b0ca5 100644
--- a/doc/contributing.texi
+++ b/doc/contributing.texi
@@ -121,8 +121,9 @@ more information.
 Then, run @command{./configure} as usual.  Make sure to pass
 @code{--localstatedir=@var{directory}} where @var{directory} is the
 @code{localstatedir} value used by your current installation (@pxref{The
-Store}, for information about this).  We recommend to use the value
-@code{/var}.
+Store}, for information about this), usually @file{/var}.  Note that you
+will probably not run @command{make install} at the end (you don't have
+to) but it's still important to pass the right @code{localstatedir}.
 
 Finally, you have to invoke @code{make check} to run tests
 (@pxref{Running the Test Suite}).  If anything