diff options
| -rw-r--r-- | doc/misc/gnus.texi | 3 |
1 files changed, 2 insertions, 1 deletions
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 | |||
| 13515 | @kindex D (Server) | 13515 | @kindex D (Server) |
| 13516 | @findex gnus-server-deny-server | 13516 | @findex gnus-server-deny-server |
| 13517 | Mark the current server as unreachable | 13517 | Mark the current server as unreachable |
| 13518 | (@code{gnus-server-deny-server}). | 13518 | (@code{gnus-server-deny-server}). This will effectively disable the |
| 13519 | server. | ||
| 13519 | 13520 | ||
| 13520 | @item M-o | 13521 | @item M-o |
| 13521 | @kindex M-o (Server) | 13522 | @kindex M-o (Server) |