Tom Lane
|
fb070464c1
|
If we're gonna have people running make from the top directory now,
we'd better have a Makefile here to prevent the mistake of using
vannilla make instead of gmake. (But let's leave src/Makefile where
it is, too.)
|
2000-06-09 01:29:28 +00:00 |
|