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

From: Thomas Munro <thomas(dot)munro(at)enterprisedb(dot)com>
To: Pg Hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: Add "docs" to top-level Makefile for non-GNU make?
Date: 2018-03-20 20:44:45
Message-ID: CAEepm=0=YWmDHZ_KBcV80Y2RxGUdk6=54t9+1T6NMHciUuHy6Q@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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 Content-Type Size
0001-Add-docs-to-top-level-Makefile-for-non-GNU-make.patch application/octet-stream 1.1 KB

Browse pgsql-hackers by date

  From Date Subject
Next Message Peter Geoghegan 2018-03-20 20:47:40 Re: [HACKERS] MERGE SQL Statement for PG11
Previous Message Robert Haas 2018-03-20 20:34:39 Re: [HACKERS] Partition-wise aggregation/grouping