gnu-maintenance: Add 'generic-html' updater.
authorLudovic Courtès <ludo@gnu.org>
Sat, 13 Mar 2021 21:25:12 +0000 (22:25 +0100)
committerLudovic Courtès <ludo@gnu.org>
Wed, 17 Mar 2021 11:03:24 +0000 (12:03 +0100)
commitaf9af2180e0c2c2bbde48b4060c966d954e9d4ff
tree35cec9af3b21983825b8f42f9d802c6db818a62c
parent1d5a946ce506adc4196aa46032350eb2c7e68d09
gnu-maintenance: Add 'generic-html' updater.

This brings total updater coverage, as reported by 'guix refresh
--list-updaters', from 78% to 88.3%.  Among many other things, it covers
freedesktop.org packages.

* guix/gnu-maintenance.scm (html-updatable-package?)
(latest-html-updatable-release): New procedures.
(%generic-html-updater): New variable.
* doc/guix.texi (Invoking guix refresh): Document it.
doc/guix.texi
guix/gnu-maintenance.scm