From 2db8794fcae971928792099dbcb5772f9321cd87 Mon Sep 17 00:00:00 2001
From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Thu, 26 Jan 2017 23:00:24 +0100
Subject: [PATCH] Gnus doc clarification

* doc/misc/gnus.texi (Unavailable Servers): Explicitly say
that "unreachable" is the same as disabling it (bug#21630).
---
 doc/misc/gnus.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi
index 9c87259ab02..4b0d0cac233 100644
--- a/doc/misc/gnus.texi
+++ b/doc/misc/gnus.texi
@@ -13515,7 +13515,8 @@ Close the connection (if any) to the server
 @kindex D (Server)
 @findex gnus-server-deny-server
 Mark the current server as unreachable
-(@code{gnus-server-deny-server}).
+(@code{gnus-server-deny-server}).  This will effectively disable the
+server.
 
 @item M-o
 @kindex M-o (Server)
-- 
2.39.5