diff options
| -rw-r--r-- | share/man/man7/ports.7 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index fb277e0..063697a 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -470,6 +470,17 @@ Of course, these ports may not work as expected, but if you really know what you are doing and are sure about installing a forbidden port, then .Va NO_IGNORE lets you do it. +.It Va PORT_DBDIR +Directory where the results of configuring +.Va OPTIONS +are stored. +Defaults to +.Pa /var/db/ports . +Each port where +.Va OPTIONS +have been configured will have a uniquely named sub-directory, containing a +single file +.Pa options . .El .Sh FILES .Bl -tag -width ".Pa /usr/ports/Mk/bsd.port.mk" -compact |
