Re: configure and DocBook XML

Hi Tom,

> On 27. Nov, 2020, at 16:29, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> To me, it makes sense to have an option to do that, but I do find it
> surprising that it's the default.

ok, last question: is there an option for configure to not check for DocBook? It's not installed and PostgreSQL doesn't
needit to compile and run just fine. 

As I said, it's not an annoyance or something as I only need to build new binaries after the versions (major and minor)
arereleased, which is not often enough to call it an annoyance. :-) I just would like to switch it off if possible, but
it'sok if it's not. 

Cheers,
Paul