garbled ee738c5474 Change direct calls to "make" to ${MAKE}... sigh..		2000-10-26 05:57:00 +00:00
..
Makefile	Change direct calls to "make" to ${MAKE}... sigh..	2000-10-26 05:57:00 +00:00