oldhtml-stamp (was Re: [HACKERS] duplicate "median" entry in doc)

Поиск
Список
Период
Сортировка
От Tom Lane
Тема oldhtml-stamp (was Re: [HACKERS] duplicate "median" entry in doc)
Дата
Msg-id 30225.1487270466@sss.pgh.pa.us
обсуждение исходный текст
Ответ на Re: [HACKERS] duplicate "median" entry in doc  (Fabien COELHO <coelho@cri.ensmp.fr>)
Список pgsql-hackers
Fabien COELHO <coelho@cri.ensmp.fr> writes:
> While testing with "oldhtml" I found that the "maintainer-clean" targets 
> in "sgml" does not clean enough: it lacks cleaning the "oldhtml-stamp".

Yeah, and .gitignore fails to ignore it, too.  I'm not sure if it's
worth fixing ... Peter, what's the expected half-life of the "oldhtml"
target?
        regards, tom lane



В списке pgsql-hackers по дате отправления:

Предыдущее
От: Robert Haas
Дата:
Сообщение: Re: [HACKERS] Small issue in online devel documentation build
Следующее
От: Robert Haas
Дата:
Сообщение: Re: [HACKERS] GUC for cleanup indexes threshold.