> On 20 Dec 2023, at 15:15, Andres Freund <andres(at)anarazel(dot)de> wrote:
> The attached patch had a slight bug. Also turned out that the CI environment
> didn't have pandoc installed. Fixed that.
LGTM.
+ time make -s -j${BUILD_JOBS} -C doc/src/sgml all INSTALL
unrelated pet peeve: "make -C doc/src/sgml all" doesn't build all docs targets..
--
Daniel Gustafsson