Add get-irc-connection-info adhoc command

fix #3171

1 files changed, 7 insertions, 2 deletions

diff --git a/doc/biboumi.1.rst b/doc/biboumi.1.rst
index 8f5eb9b..49c0fe4 100644
--- a/doc/biboumi.1.rst
+++ b/doc/biboumi.1.rst
@@ -488,13 +488,18 @@ On the gateway itself (e.g on the JID biboumi.example.com):
 On a server JID (e.g on the JID chat.freenode.org@biboumi.example.com)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-- Configure: Lets each user configure some options that applies to the
+- configure: Lets each user configure some options that applies to the
   concerned IRC server.
+- get-irc-connection-info: Returns some information about the IRC server,
+  for the executing user. It lets the user know if they are connected to
+  this server, from what port, with or without TLS, and it gives the list
+  of joined IRC channel, with a detailed list of which resource is in which
+  channel.
 
 On a channel JID (e.g on the JID #test%chat.freenode.org@biboumi.example.com)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-- Configure: Lets each user configure some options that applies to the
+- configure: Lets each user configure some options that applies to the
   concerned IRC channel.  Some of these options, if not configured for a
   specific channel, defaults to the value configured at the IRC server
   level.  For example the encoding can be specified for both the channel