On 05/31/2011 04:36 PM, Peter Eisentraut wrote:
>
> But it seems like no one else has seen this problem yet, so it's quite
> suspicious, since surely people have built the documentation in the last
> few months.
I have two buildfarm members with stock openjade/docbook installations
building the docs every day.
cheers
andrew
