diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index 318a19ba98c..6e28f85da96 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -581,6 +581,10 @@ Additional to set when .Va WITH_DEBUG is set. +.It Va DEFAULT_VERSIONS +Override the default variant used for ports +with multiple concurrent versions in the tree, +such as database or compiler versions. .It Va WITH_CCACHE_BUILD .Pq Vt bool If set, enables the use of