01/07: doc: Mention the 'savannah' updater.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit ad5cb62d4afab2b4a808121fe81c5b8db053d7fe
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Tue Jul 21 12:28:20 2020 +0200

    doc: Mention the 'savannah' updater.
    
    * doc/guix.texi (Invoking guix refresh): Mention 'savannah' updater.
---
 doc/guix.texi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index da5a2e2..8696a9b 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