GNU bug report logs - #45027
[PATCH] doc: Correct spelling of 'discover?' .

Previous Next

Full log

View this message in rfc822 format

From: Maxime Devos <maxime.devos <at> student.kuleuven.be>
To: 45027 <at> debbugs.gnu.org
Subject: [bug#45027] [PATCH] doc: Correct spelling of 'discover?' .
Date: Thu, 03 Dec 2020 20:23:09 +0100

[Message part 1 (text/plain, inline)]

* 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.
 

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.