K 10
svn:author
V 4
grog
K 8
svn:date
V 27
1999-04-11T03:40:11.000000Z
K 7
svn:log
V 402
Back out default debug kernel.  The flags revert to historical behaviour.

Requested-by:	ache
		bde
		dg

Modify targets for debug kernels:  when -g was specified, make will
now build a debug kernel called kernel.debug, and create a stripped
version called kernel at the same time.  The two targets install and
install.debug are otherwise unchanged.

Requested-by:	dillon

Update man page accordingly.

END