Hi Denis, Great catch. I've amended the patch to fix this issue with the documentation (V3).
On Tue, May 9, 2023 at 2:25 PM Denis Laxalde <denis.laxa...@dalibo.com> wrote: > 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> > > -- Y.
V3-0001-Allow-listening-port-to-be-0.patch
Description: Binary data
