drochner a9ddfb696d allow to set location of INSTALL kernel from command line so that ... bootfloppies can be built with r/o /usr/src or with other kernels		1999-03-23 18:10:57 +00:00
..
Makefile	allow to set location of INSTALL kernel from command line so that	1999-03-23 18:10:57 +00:00