diff options
| -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. |