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>