Re: [DOCS] Duplicative index entries in v10/HEAD builds - Mailing list pgsql-docs

From Alexander Lakhin
Subject Re: [DOCS] Duplicative index entries in v10/HEAD builds
Date
Msg-id 8969ab1c-6b98-c299-fa24-ee36ade65073@gmail.com
Whole thread Raw
In response to Re: [DOCS] Duplicative index entries in v10/HEAD builds  (Tom Lane <tgl@sss.pgh.pa.us>)
List 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


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

pgsql-docs by date:

Previous
From: Tom Lane
Date:
Subject: Re: [DOCS] Duplicative index entries in v10/HEAD builds
Next
From: Tom Lane
Date:
Subject: Re: [DOCS] with