#### build pgdoc at 2023-01-02 23:39:13
gmake -C src html
gmake[1]: Entering directory `/home/pgdoc/postgresql-12/doc/src'
gmake -C sgml html
gmake[2]: Entering directory `/home/pgdoc/postgresql-12/doc/src/sgml'
/bin/xmllint --path . --noout --valid postgres.sgml || true
/bin/xsltproc --path . --stringparam pg.version '12.2'  stylesheet.xsl postgres.sgml
cp ./images/pagelayout.svg ./images/gin.svg html/
cp ./stylesheet.css html/
touch html-stamp
gmake[2]: Leaving directory `/home/pgdoc/postgresql-12/doc/src/sgml'
gmake[1]: Leaving directory `/home/pgdoc/postgresql-12/doc/src'