From fd3a64335da5a591dbe9276395d0ad6bb09f00bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 6 Sep 2018 13:53:04 +0200
Subject: [PATCH] doc: Update hpcguix-web configuration documentation.
* doc/guix.texi (Web Services): Document 'channels' and
'package-list-expiration'.
---
doc/guix.texi | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/doc/guix.texi b/doc/guix.texi
index c328af40cd6..2c5b01e4a85 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
--
GitLab