diff options
| -rw-r--r-- | share/man/man7/release.7 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/share/man/man7/release.7 b/share/man/man7/release.7 index 4006400..d09c86b 100644 --- a/share/man/man7/release.7 +++ b/share/man/man7/release.7 @@ -220,6 +220,14 @@ or will ask .Xr cvs 1 to check out or update sources as of 00:00:00 GMT, January 1 2002, respectively. +.It Va DOCRELEASETAG +The CVS tag to use when checking out the documentation tree. +Usually, +the head of the documentation tree is used by default. +If +.Va RELEASETAG +specifies a release tag, +then the associated release version is used as the default instead. .It Va KERNEL_FLAGS The contents of this variable are passed to .Xr make 1 @@ -273,6 +281,14 @@ to run from .Pa ${CHROOTDIR}/usr/ports , which can be a very time consuming operation. +.It Va PORTSRELEASETAG +The CVS tag to use when checking out the ports tree. +Usually, +the head of the ports tree is used by default. +If +.Va RELEASETAG +specifies a release tag, +then the associated release version is used as the default instead. .It Va PREFETCHDISTFILES If this variable is defined, then distfiles needed during the release build will be downloaded prior to |
