bde 559c15c65a Use ${ECHO} instead of echo' so that make -s' is fairly quiet. ... The END.		1994-08-28 17:48:43 +00:00
..
Makefile	Use ${ECHO} instead of echo' so that make -s' is fairly quiet.	1994-08-28 17:48:43 +00:00