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 e09083c1f8..4d63627a26 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -33040,7 +33040,7 @@ IP address that no longer correspond to their freshly resolved host name. Set this to @code{#t} if one or more endpoints use host names provided by a dynamic DNS service to keep the sessions alive. -@item @code{monitor-ips-internal} (default: @code{'(next-minute (range 0 60 5))}) +@item @code{monitor-ips-interval} (default: @code{'(next-minute (range 0 60 5))}) The time interval at which the IP monitoring job should run, provided as an mcron time specification (@pxref{Guile Syntax,,,mcron}). |