diff options
Diffstat (limited to 'share')
-rw-r--r-- | share/man/man7/build.7 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/share/man/man7/build.7 b/share/man/man7/build.7 index 21bd088c..cc42a73 100644 --- a/share/man/man7/build.7 +++ b/share/man/man7/build.7 @@ -124,8 +124,8 @@ The method of updating your system from the latest sources is: .Bd -literal -offset indent make buildworld -make buildkernel KERNEL=FOO -make installkernel KERNEL=FOO +make buildkernel KERNCONF=FOO +make installkernel KERNCONF=FOO make installworld mergemaster .Ed @@ -134,12 +134,12 @@ mergemaster must be replaced with the name of the kernel configuration file from which the kernel should be built. Alternatively, the -.Va KERNEL +.Va KERNCONF variable in .Pa /etc/make.conf can be set to the name of the kernel to build; in this case the -.Dq KERNEL=FOO +.Dq KERNCONF=FOO part of the .Dq buildkernel and |