From cd67e07e72959fa46679d8e64b31a237b2d8f418 Mon Sep 17 00:00:00 2001
From: Steve Price <steve@FreeBSD.org>
Date: Tue, 13 Jan 1998 14:17:10 +0000
Subject: [PATCH] vmunix -> kernel

PR:		5484
Submitted by:	Vasily V. Grechishnikov <bazilio@ns1.ied-vorstu.ac.ru>
---
 contrib/top/top.X | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/top/top.X b/contrib/top/top.X
index 1a8bf0b64c7..aa500260e46 100644
--- a/contrib/top/top.X
+++ b/contrib/top/top.X
@@ -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