lukem 971861de37 use ${INSTALL_FILE} as appropriate		2002-02-09 09:35:59 +00:00
..
Makefile	use ${INSTALL_FILE} as appropriate	2002-02-09 09:35:59 +00:00
installboot.sh	…