diff options
-rw-r--r-- | share/man/man7/release.7 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/man/man7/release.7 b/share/man/man7/release.7 index 556b7fe..ad744a6 100644 --- a/share/man/man7/release.7 +++ b/share/man/man7/release.7 @@ -246,6 +246,10 @@ then the associated release version is used as the default instead. .It Va EXTLOCALDIR The directory that will be copied to .Pa ${CHROOTDIR}/usr/local . +.It Va EXTSRCDIR +The directory that will be used as the +.Pa src/ +tree instead of a CVS checkout. .It Va KERNEL_FLAGS The contents of this variable are passed to .Xr make 1 |