Re: configure and DocBook XML

[Paul Förster]

Hi Tom,

> On 27. Nov, 2020, at 18:54, Tom Lane <t...@sss.pgh.pa.us> wrote:
> 
> See the other thread I pointed to.

ok, thanks.

Cheers,
Paul