diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 78c1c09858..6ba52623c0 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -27889,10 +27889,10 @@ Use @var{cache} directory to cache build log files. Once a substitute is successfully fetched, trigger substitute baking at @var{trigger-url}. -@item @code{no-publish} (default: @code{#f}) -Do not start a publish server and ignore the @code{publish-port} -argument. This can be useful if there is already a standalone publish -server standing next to the remote server. +@item @code{publish?} (default: @code{#t}) +If set to false, do not start a publish server and ignore the +@code{publish-port} argument. This can be useful if there is already a +standalone publish server standing next to the remote server. @item @code{public-key} @item @code{private-key} |