tv 8e6f7afb5b MKfoo=no -> NOfoo		2001-12-12 01:48:43 +00:00
..
installkernel	MKfoo=no -> NOfoo	2001-12-12 01:48:43 +00:00
Makefile	s/installboot/installkernel/, so it won't be confused with a real installboot.	2000-06-20 00:24:03 +00:00
Makefile.inc	…