$ 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>
