Re: [DOCS] Duplicative index entries in v10/HEAD builds

25.10.2017 17:37, Tom Lane wrote:
> Yeah, that does look like the same thing.  I'm not especially thrilled
> by Alexander's suggestion of working around it by removing "zone" tags,
> but maybe that's what we'll have to do.  Has there been any movement
> on fixing the docbook bug?
I didn't report the issue to github.com/docbook as I have another PR 
hanging there from 2016-10-10.
I think we have to find a solution on our side.

------
Alexander Lakhin
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company


-- 
Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs