diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index 0dc08659f737..11d11cfb4540 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -417,14 +417,7 @@ You can change all of these. Location of the ports tree. This is .Pa /usr/ports -on -.Fx -and -.Ox , -and -.Pa /usr/pkgsrc -on -.Nx . +by default. .It Va WRKDIRPREFIX Where to create any temporary files. Useful if