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
0001-Add-docs-to-top-level-Makefile-for-non-GNU-make.patch
Description: Binary data
