Add "docs" to top-level Makefile for non-GNU make?

Поиск
Список
Период
Сортировка
От Thomas Munro
Тема Add "docs" to top-level Makefile for non-GNU make?
Дата
Msg-id CAEepm=0=YWmDHZ_KBcV80Y2RxGUdk6=54t9+1T6NMHciUuHy6Q@mail.gmail.com
обсуждение исходный текст
Список pgsql-hackers
Hi hackers,

I regularly type "make docs" *doh* "gmake docs" on one system and
"gmake docs" *doh* "make docs" on another.  Is there any reason we
shouldn't add it, for consistency with other targets like check,
installcheck etc?  Patch attached.

-- 
Thomas Munro
http://www.enterprisedb.com

Вложения

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

Предыдущее
От: Robert Haas
Дата:
Сообщение: Re: [HACKERS] Partition-wise aggregation/grouping
Следующее
От: Peter Geoghegan
Дата:
Сообщение: Re: [HACKERS] MERGE SQL Statement for PG11