Re: [PATCH] Allow Postgres to pick an unused port to listen

The documentation fails to build for me:

$ ninja docs
[1/2] Generating doc/src/sgml/postgres-full.xml with a custom command
FAILED: doc/src/sgml/postgres-full.xml
/usr/bin/python3 ../postgresql/doc/src/sgml/xmltools_dep_wrapper 
--targetname doc/src/sgml/postgres-full.xml --depfile 
doc/src/sgml/postgres-full.xml.d --tool /usr/bin/xmllint -- --nonet 
--noent --valid --path doc/src/sgml -o doc/src/sgml/postgres-full.xml 
../postgresql/doc/src/sgml/postgres.sgml
../postgresql/doc/src/sgml/postgres.sgml:685: element para: validity 
error : Element entry is not declared in para list of possible children
ninja: build stopped: subcommand failed.


Removing the <entry> tag resolves the issue:
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index cd07bad3b5..f71859f710 100644
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -684,7 +684,7 @@ include_dir 'conf.d'
         </para>
         <para>
          The port can be set to 0 to make Postgres pick an unused port 
number.
-        The assigned port number can be then retrieved from 
<entry><filename>postmaster.pid</filename></entry>.
+        The assigned port number can be then retrieved from 
<filename>postmaster.pid</filename>.
         </para>
        </listitem>
       </varlistentry>