From 520a4bfde7f7ff342d7b3d82be3f4d58368d47b8 Mon Sep 17 00:00:00 2001 From: Gabor Kovesdan Date: Fri, 21 Dec 2007 21:44:33 +0000 Subject: [PATCH] - Document PORT_DBDIR PR: docs/114731 Submitted by: Matthew Seaman --- share/man/man7/ports.7 | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index fb277e0d86e..063697aed33 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