Subject: Re: bug#21630: (info "(gnus) Unavailable Servers") does not mention disabling

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 26 Jan 2017 22:59:36 +0100

M9< Dan Jacobson <[email-masked]> writes:

> (info "(gnus) Server Commands") says
>    Some more commands for closing, disabling, and re-opening servers are
> listed in *note Unavailable Servers::.
>
> However there on (info "(gnus) Unavailable Servers") there is NO mention
> of disabling.

[...]

> By the way,
> D
>      Mark the current server as unreachable (gnus-server-deny-server).
> actually marks it as "denied", not "unreachable". At least mention the
> official name we see.

This is the command that disables a server.  I've now made that more explicit.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no