diff mbox series

[bug#45027] doc: Correct spelling of 'discover?' .

Message ID a15fb0d55688ca0624832b0d90aac74b558bceab.camel@student.kuleuven.be
State Accepted
Headers show
Series [bug#45027] doc: Correct spelling of 'discover?' . | expand

Checks

Context Check Description
cbaines/submitting builds success
cbaines/comparison success View comparision
cbaines/git branch success View Git branch
cbaines/applying patch success View Laminar job
cbaines/issue success View issue

Commit Message

Maxime Devos Dec. 3, 2020, 7:23 p.m. UTC 
* doc/guix.texi (Base Services): Correct spelling of 'discover?'.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Comments

Mathieu Othacehe Dec. 3, 2020, 7:34 p.m. UTC | #1 
Hey,

> * doc/guix.texi (Base Services): Correct spelling of 'discover?'.

Pushed, thanks!

Mathieu
diff mbox series

Patch

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.