K 10
svn:author
V 3
knu
K 8
svn:date
V 27
2001-05-27T17:09:08.000000Z
K 7
svn:log
V 127
When linux.flp is not found, prompt the user to insert the virtual
floppy disk.

Set IS_INTERACTIVE.

Submitted by:	MAINTAINER

END