diff options
Diffstat (limited to 'share/man/man7/development.7')
| -rw-r--r-- | share/man/man7/development.7 | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/share/man/man7/development.7 b/share/man/man7/development.7 index 1b871fc0fa0a..c060d7b42d1a 100644 --- a/share/man/man7/development.7 +++ b/share/man/man7/development.7 @@ -24,7 +24,7 @@ .\" .\" $FreeBSD$ .\" -.Dd November 16, 2018 +.Dd November 30, 2018 .Dt DEVELOPMENT 7 .Os .Sh NAME @@ -119,6 +119,14 @@ cd src make -j8 installworld reboot .Ed +.Pp +Rebuild and reinstall a single piece of userspace, in this +case +.Xr ls 1 : +.Bd -literal -offset indent +cd src/bin/ls +make clean all install +.Ed .Sh SEE ALSO .Xr svnlite 1 , .Xr witness 4 , |