diff options
author | Maxime Devos <maxime.devos@student.kuleuven.be> | 2020-12-03 20:23:09 +0100 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-12-03 20:33:58 +0100 |
commit | 7776fc4c0f8c4b4c68598756a7282240aede7e75 (patch) | |
tree | d2e1c7dd18567f43b6d6cac2f5b335c3af9fb9d3 | |
parent | 8bc5ca5160db3d82bd5b6b2b7ed80c96f42bd33e (diff) | |
download | guix-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.texi | 2 |
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. |