diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 18:24:53 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 23:23:08 +0100 |
| commit | 5aef6a55a2a4ab157ebc9e852a79c301d7b0561c (patch) | |
| tree | 7d57b39c28e68588dfad8645faa699d2acb0ec0b /doc | |
| parent | 3b744e9975afd855cb9b1f157b12b9be577b04b2 (diff) | |
doc: Document the 'release-monitoring-url' package property.
* doc/guix.texi (Invoking guix refresh): Mention the
'release-monitoring-url' property.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index e4474943b9..9cb334b928 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -14138,7 +14138,8 @@ the updater for @uref{https://crates.io, Crates} packages. the updater for @uref{https://launchpad.net, Launchpad} packages. @item generic-html a generic updater that crawls the HTML page where the source tarball of -the package is hosted, when applicable. +the package is hosted, when applicable, or the HTML page specified by +the @code{release-monitoring-url} property of the package. @item generic-git a generic updater for packages hosted on Git repositories. It tries to |