diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:43:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:44:23 +0200 |
| commit | 193d20f35186556a0344f216f8e70187132093df (patch) | |
| tree | e60d6eb1a8e5d32bfefeaced74f2aab9486f7d11 /doc/guix.texi | |
| parent | 9b9b753529db1c7a8c4628cc255e358703c15618 (diff) | |
doc: Correctly document 'host' field of <cuirass-configuration>.
* doc/guix.texi (Continuous Integration): Fix doc of the 'host' field.
Diffstat (limited to 'doc/guix.texi')
| -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 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. |