From 061cae1b4290b234e6f68eb2f65c96d8bab8cf9a Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Wed, 22 Aug 2001 23:43:19 +0000 Subject: [PATCH] The name of the kernel is KERNCONF, not KERNEL now. --- share/man/man5/make.conf.5 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/man/man5/make.conf.5 b/share/man/man5/make.conf.5 index 7a599914b0d4..408608cf7791 100644 --- a/share/man/man5/make.conf.5 +++ b/share/man/man5/make.conf.5 @@ -251,7 +251,7 @@ kernel. Optimization levels above .Oo Fl O ( O2 , No ...\& ) Oc are not guaranteed to work. -.It Va KERNEL +.It Va KERNCONF .Pq Vt str Controls which kernel configurations will be built by