Bruce Evans 9c0dc173cc Change install' to ${INSTALL}' so that default install flags can be ... specified in the top level Makefiles.		1995-07-25 00:37:58 +00:00
..
Makefile.dev	Change install' to ${INSTALL}' so that default install flags can be	1995-07-25 00:37:58 +00:00
Makefile.tty	Makefile.tty:	1995-01-25 19:25:20 +00:00