Subject: [PATCH] doc: Correct spelling of 'discover?' .
From: Maxime Devos <[email-masked]>
To: [email-masked]
Date: Thu, 03 Dec 2020 20:23:09 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

* doc/guix.texi (Base Services): Correct spelling of 'discover?'.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 80185e0731..1493c68e27 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.