04/07: doc: Document the 'release-monitoring-url' package property.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 5aef6a55a2a4ab157ebc9e852a79c301d7b0561c
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Mon Jan 23 18:24:53 2023 +0100

    doc: Document the 'release-monitoring-url' package property.
    
    * doc/guix.texi (Invoking guix refresh): Mention the
    'release-monitoring-url' property.
---
 doc/guix.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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