[Doc]: Switch to PGPRO10: autocommit based on 7016fd5 (doc/ only)

Author: Liudmila Mantrova

doc/src/sgml/installation.sgml

@@ -695,6 +695,16 @@ su - postgres
        </listitem>
       </varlistentry>
 
+      <varlistentry>
+       <term><option>--with-rsocket-pgport=<replaceable>NUMBER</></option></term>
+       <listitem>
+        <para>
+         Set <replaceable>NUMBER</> as the default port number for
+         server and clients using rsocket. The default is 5433.
+        </para>
+       </listitem>
+      </varlistentry>
+
       <varlistentry>
        <term><option>--with-perl</option></term>
        <listitem>