diff options
| -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 2b480fbd9b84..7ccbe5908fa2 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 . |