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 <[email protected]>
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 <[email protected]>
---
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.
