PDF docs build: avoid spurious "warn" in build logs.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 8 Feb 2025 03:12:38 +0000 (22:12 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 8 Feb 2025 03:12:38 +0000 (22:12 -0500)
commitecb8226af63dc8f1c0859977102764704368693b
treeedddaf4a106d90f19f34b0e9b5f3b4f2bfe4153e
parentfb056564ec5bc1c18dd670c963c893cdb6de927e
PDF docs build: avoid spurious "warn" in build logs.

Improve on e4c886519 so that the string "warn" appears in
the output when there's a problem, and not when there isn't.
This should silence noise I've been seeing in my buildfarm
warning scraper.
doc/src/sgml/Makefile