diff options
-rw-r--r-- | share/man/man7/ports.7 | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index c0abdda19f9c..cbc61d11948b 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -361,14 +361,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 |