diff options
author | Jelle Licht <jlicht@fsfe.org> | 2018-12-18 14:43:54 +0100 |
---|---|---|
committer | Jelle Licht <jlicht@fsfe.org> | 2018-12-18 14:50:47 +0100 |
commit | b8d5fbd86f814cabf68c9804068e74f042e0d1a3 (patch) | |
tree | 9bedfe427e82d78d0907b30a8f6cfdf30423166b /doc/guix.texi | |
parent | 232cc1001d8163a2af9eed0169f0110d70076686 (diff) | |
download | guix-b8d5fbd86f814cabf68c9804068e74f042e0d1a3.tar.gz |
doc: Replace 'https-port' with 'listen' in nginx php example.
* doc/guix.texi (Web Services): Update accordingly.
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 3ee65116b6..0d8f1757a3 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -17805,7 +17805,7 @@ A simple services setup for nginx with php can look like this: (root "/srv/http/") (locations (list (nginx-php-location))) - (https-port #f) + (listen '("80")) (ssl-certificate #f) (ssl-certificate-key #f))) %base-services)) |