Re: Duplicative index entries in v10/HEAD builds

From: Alexander Lakhin <exclusion(at)gmail(dot)com>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>
Cc: pgsql-docs(at)postgresql(dot)org
Subject: Re: Duplicative index entries in v10/HEAD builds
Date: 2017-10-25 15:06:57
Message-ID: 8969ab1c-6b98-c299-fa24-ee36ade65073@gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

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

In response to

Browse pgsql-docs by date

  From Date Subject
Next Message Tom Lane 2017-10-25 20:23:20 Re: <indexterm> with <secondary>
Previous Message Tom Lane 2017-10-25 14:37:56 Re: Duplicative index entries in v10/HEAD builds