summary refs log tree commit diff
diff options
context:
space:
mode:
authorMaxime Devos <maxime.devos@student.kuleuven.be>2020-12-03 20:23:09 +0100
committerMathieu Othacehe <othacehe@gnu.org>2020-12-03 20:33:58 +0100
commit7776fc4c0f8c4b4c68598756a7282240aede7e75 (patch)
treed2e1c7dd18567f43b6d6cac2f5b335c3af9fb9d3
parent8bc5ca5160db3d82bd5b6b2b7ed80c96f42bd33e (diff)
downloadguix-7776fc4c0f8c4b4c68598756a7282240aede7e75.tar.gz
doc: Correct spelling of 'discover?' .
* doc/guix.texi (Base Services): Correct spelling of 'discover?'.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
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.