From 2dc4ec3badcf12d8208aa623a283ebc77b04ee63 Mon Sep 17 00:00:00 2001
From: mathieui <mathieui@mathieui.net>
Date: Thu, 10 Nov 2011 17:20:47 +0100
Subject: Doc for custom_host and custom_port (config file and asciidoc)

---
 doc/en/configure.txt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'doc')

diff --git a/doc/en/configure.txt b/doc/en/configure.txt
index ef710690..5928ef3e 100644
--- a/doc/en/configure.txt
+++ b/doc/en/configure.txt
@@ -264,6 +264,18 @@ Configuration options
   or if they are really resized only when needed (if set to true).
   “true” should be the most comfortable value
 
+*custom_host*:: [empty]
+
+  A custom host that will be used instead of the DNS records for the server
+  (anonymous or the jid’s) defined above.
+  You should not need this in a "normal" use case.
+
+*custom_port*:: [empty]
+
+  A custom port to use instead of the 5222.
+  This option can be combined with custom_host.
+  You should not need this in a "normal" use case.
+
 *plugins_autoload*:: [empty]
 
   Space separated list of plugins to load on startup.
-- 
cgit v1.2.3