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

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

From
Thomas Munro
Date:
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