On 2025-01-02 10:36:48 +0800, jian he wrote:
> https://cirrus-ci.com/github/postgresql-cfbot/postgresql/cf%2F5318
> shows lots of failures, but it doesn't seem to tell you about doc build
> failure.
It does:
https://cirrus-ci.com/task/6472750665039872?logs=docs_build#L0
[15:26:26.443] time make -s -j${BUILD_JOBS} -C doc
[15:26:28.759] postgres.sgml:5082: element indexterm: validity error : IDREFS attribute zone references an unknown ID "view-pg-system-version"