From ad5cb62d4afab2b4a808121fe81c5b8db053d7fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Tue, 21 Jul 2020 12:28:20 +0200
Subject: [PATCH] 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 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