vmunix -> kernel

PR:		5484
Submitted by:	Vasily V. Grechishnikov <bazilio@ns1.ied-vorstu.ac.ru>
This commit is contained in:
Steve Price 1998-01-13 14:17:10 +00:00
parent 5bd65ce6ad
commit cd67e07e72
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=32496

View file

@ -291,7 +291,7 @@ TOP user-configurable defaults for options.
.br
/etc/passwd used to map uid numbers to user names
.br
/vmunix system image
/kernel system image
.SH BUGS
Don't shoot me, but the default for
.B \-I