diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/man7/ports.7 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index 2b480fb..7ccbe59 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -195,7 +195,7 @@ Remove an installed port from the system, similar to Make a binary package for the port. The port will be installed if it has not already been. The package is a -.Pa .tgz +.Pa .tbz file that you can use to install the port on other machines with .Xr pkg_add 1 . |
