summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-09-06 13:53:04 +0200
committerLudovic Courtès <ludo@gnu.org>2018-09-06 13:53:04 +0200
commitfd3a64335da5a591dbe9276395d0ad6bb09f00bb (patch)
tree2aaf94b9973da1f8893b3e36bf705dddd18bfa1d
parent7df945656cd448b13969f90a7a95d8a4e9d442f7 (diff)
doc: Update hpcguix-web configuration documentation.
* doc/guix.texi (Web Services): Document 'channels' and 'package-list-expiration'.
-rw-r--r--doc/guix.texi7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index c328af40cd..2c5b01e4a8 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -16825,6 +16825,13 @@ Extension package for @code{hpcguix-web}.
@item @code{menu} (default: @code{'()})
Additional entry in page @code{menu}.
+
+@item @code{channels} (default: @code{%default-channels})
+List of channels from which the package list is built (@pxref{Channels}).
+
+@item @code{package-list-expiration} (default: @code{(* 12 3600)})
+The expiration time, in seconds, after which the package list is rebuilt from
+the latest instances of the given channels.
@end table
See the hpcguix-web repository for a