diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-04-04 22:33:44 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-04-06 23:59:46 +0200 |
commit | b92cfc322d2f3ca55315861ecf89b3340788a5f3 (patch) | |
tree | 9723d91b8d18bbfd3e3b3edf8eac8f3ad31ea1cf /doc | |
parent | 10b01e7ed682ab2f03f4ac1f662b2369868e33f9 (diff) | |
download | guix-b92cfc322d2f3ca55315861ecf89b3340788a5f3.tar.gz |
gnu-maintenance: Add 'sourceforge' updater.
This updater currently covers 2.4% of the packages. * guix/gnu-maintenance.scm (latest-sourceforge-release): New procedure. (%sourceforge-updater): New variable. * doc/guix.texi (Invoking guix refresh): Document it.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 957f14bc75..d1a15cb28b 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -11713,6 +11713,8 @@ list of updaters). Currently, @var{updater} may be one of: the updater for GNU packages; @item savannah the updater for packages hosted at @uref{https://savannah.gnu.org, Savannah}; +@item sourceforge +the updater for packages hosted at @uref{https://sourceforge.net, SourceForge}; @item gnome the updater for GNOME packages; @item kde |