summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-07-18 00:43:54 +0200
committerLudovic Courtès <ludo@gnu.org>2019-07-18 00:44:23 +0200
commit193d20f35186556a0344f216f8e70187132093df (patch)
treee60d6eb1a8e5d32bfefeaced74f2aab9486f7d11
parent9b9b753529db1c7a8c4628cc255e358703c15618 (diff)
doc: Correctly document 'host' field of <cuirass-configuration>.
* doc/guix.texi (Continuous Integration): Fix doc of the 'host' field.
-rw-r--r--doc/guix.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 57812245a2..2b5077a0c2 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -21349,7 +21349,7 @@ from garbage collection for at least @var{ttl} seconds.
@item @code{port} (default: @code{8081})
Port number used by the HTTP server.
-@item --listen=@var{host}
+@item @code{host} (default: @code{"localhost"})
Listen on the network interface for @var{host}. The default is to
accept connections from localhost.