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
..
chess	Change `install' to `${INSTALL}' so that default install flags can be	1995-07-25 00:37:58 +00:00
Makefile	…
Makefile.inc	…