diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-07-21 12:28:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-21 17:50:44 +0200 |
| commit | ad5cb62d4afab2b4a808121fe81c5b8db053d7fe (patch) | |
| tree | fd213b53088e62aed7dfb4bd0de0d3b2cfe76c1d /doc/guix.texi | |
| parent | 2313be9041202e3285622a9de9e599afc8e44f29 (diff) | |
| download | guix-patches-ad5cb62d4afab2b4a808121fe81c5b8db053d7fe.tar guix-patches-ad5cb62d4afab2b4a808121fe81c5b8db053d7fe.tar.gz | |
doc: Mention the 'savannah' updater.
* doc/guix.texi (Invoking guix refresh): Mention 'savannah' updater.
Diffstat (limited to 'doc/guix.texi')
| -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 da5a2e2214..8696a9b554 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -10047,6 +10047,8 @@ list of updaters). Currently, @var{updater} may be one of: @table @code @item gnu the updater for GNU packages; +@item savannah +the updater for packages hosted at @uref{https://savannah.gnu.org, Savannah}; @item gnome the updater for GNOME packages; @item kde |