branch master updated: doc: Correct spelling of 'discover?' .

[guix-commits]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 7776fc4  doc: Correct spelling of 'discover?' .
7776fc4 is described below

commit 7776fc4c0f8c4b4c68598756a7282240aede7e75
Author: Maxime Devos <maxime.devos@student.kuleuven.be>
AuthorDate: Thu Dec 3 20:23:09 2020 +0100

    doc: Correct spelling of 'discover?' .
    
    * doc/guix.texi (Base Services): Correct spelling of 'discover?'.
    
    Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 80185e0..1493c68 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -15111,7 +15111,7 @@ disables the timeout.
 The type of compression used for build logs---one of @code{gzip},
 @code{bzip2}, or @code{none}.
 
-@item @code{discover} (default: @code{#f})
+@item @code{discover?} (default: @code{#f})
 Whether to discover substitute servers on the local network using mDNS
 and DNS-SD.