From 2bd42f2f4dd213a56dc1f8b4ebc9d976e3dc9be5 Mon Sep 17 00:00:00 2001
From: Mateusz Piotrowski <0mp@FreeBSD.org>
Date: Wed, 22 Aug 2018 13:25:41 +0000
Subject: [PATCH] Suggest to reboot after installworld in the example of
 development workflow.

Reviewed by:	trasz
Approved by:	mat (mentor)
Differential Revision:	https://reviews.freebsd.org/D16746
---
 share/man/man7/development.7 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/share/man/man7/development.7 b/share/man/man7/development.7
index 2cecfc297e3..32365fe3631 100644
--- a/share/man/man7/development.7
+++ b/share/man/man7/development.7
@@ -24,7 +24,7 @@
 .\"
 .\" $FreeBSD$
 .\"
-.Dd June 21, 2018
+.Dd August 22, 2018
 .Dt DEVELOPMENT 7
 .Os
 .Sh NAME
@@ -117,6 +117,7 @@ After reboot:
 .Bd -literal -offset indent
 cd src
 make -j8 installworld
+reboot
 .Ed
 .Sh SEE ALSO
 .Xr svnlite 1 ,