diff --git a/share/man/man7/build.7 b/share/man/man7/build.7 index 854575b046f0..a38da6cc3fea 100644 --- a/share/man/man7/build.7 +++ b/share/man/man7/build.7 @@ -142,7 +142,7 @@ method of updating your system from the latest sources is: make buildworld make buildkernel KERNCONF=FOO make installkernel KERNCONF=FOO - +.Aq Reboot the new kernel in single user mode make installworld mergemaster .Ed @@ -173,7 +173,7 @@ may not work with the old kernel which is still running. While not strictly necessary much of the time for upgrades from very recent sources, the reboot into single user mode is critically important for upgrading from older kernels, or when you know -.Dq weird things +.Dq weird things have happened with the kernel. .Pp The following sequence of commands can be used to cross-build the