Add "docs" to top-level Makefile for non-GNU make? - Mailing list pgsql-hackers

From Thomas Munro
Subject Add "docs" to top-level Makefile for non-GNU make?
Date
Msg-id CAEepm=0=YWmDHZ_KBcV80Y2RxGUdk6=54t9+1T6NMHciUuHy6Q@mail.gmail.com
Whole thread Raw
List 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

Attachment

pgsql-hackers by date:

Previous
From: Robert Haas
Date:
Subject: Re: [HACKERS] Partition-wise aggregation/grouping
Next
From: Peter Geoghegan
Date:
Subject: Re: [HACKERS] MERGE SQL Statement for PG11