garbled 1403ef3b87 Remove direct calls to "make" and replace with ${MAKE}		2000-10-26 05:52:54 +00:00
..
Makefile	Remove direct calls to "make" and replace with ${MAKE}	2000-10-26 05:52:54 +00:00