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

Поиск
Список
Период
Сортировка
От Alexander Lakhin
Тема Re: [DOCS] Duplicative index entries in v10/HEAD builds
Дата
Msg-id 8969ab1c-6b98-c299-fa24-ee36ade65073@gmail.com
обсуждение исходный текст
Ответ на Re: [DOCS] Duplicative index entries in v10/HEAD builds  (Tom Lane <tgl@sss.pgh.pa.us>)
Список 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 по дате отправления:

Предыдущее
От: Tom Lane
Дата:
Сообщение: Re: [DOCS] Duplicative index entries in v10/HEAD builds
Следующее
От: Tom Lane
Дата:
Сообщение: Re: [DOCS] with