build: Better Build System

1 files changed, 67 insertions, 0 deletions

diff --git a/static/plan9-4e/man6/venti.conf.6 b/static/plan9-4e/man6/venti.conf.6
new file mode 100644
index 00000000..f8c2d77a
--- /dev/null
+++ b/static/plan9-4e/man6/venti.conf.6
@@ -0,0 +1,67 @@
+.TH VENTI.CONF 6
+.SH NAME
+venti.conf  \- a venti configuration file
+.SH DESCRIPTION
+A venti configuration file enumerates the various index sections and
+arenas that constitute a venti system.
+The components are indicated by the name of the file, typically
+a disk partition, in which they reside.  The configuration
+file is the only location that file names are used.  Internally,
+venti uses the names assigned when the components were formatted
+with 
+.IR fmtarenas (8)
+or 
+.IR fmtisect (8).
+In particular, by changing the configuration a
+component can be copied to a different file.
+.PP
+The configuration file consists of lines in the form described below.
+Lines starting with
+.B #
+are comments.
+.TP
+.BI index " name
+Names the index for the system.
+.TP
+.BI arenas " file
+.I File
+contains a collection of arenas, formatted using
+.IR fmtarenas (8).
+.TP
+.BI isect " file
+.I File
+contains an index section, formatted using
+.IR fmtisect (8).
+.PP
+After formatting a venti system using
+.IR fmtindex (8),
+the order of arenas and index sections should not be changed.
+Additional arenas can be appended to the configuration.
+.SH EXAMPLE
+.EX
+# a sample venti configuration file
+#
+# formatted with
+#	venti/fmtarenas arena. /tmp/disks/arenas
+# 	venti/fmtisect isect0 /tmp/disks/isect0
+# 	venti/fmtisect isect1 /tmp/disks/isect1
+#	venti/fmtindex venti.conf
+#
+# server is started with
+#	venti/venti
+
+# the name of the index
+index main
+
+# the index sections
+isect /tmp/disks/isect0
+isect /tmp/disks/isect1
+
+# the arenas
+arenas /tmp/disks/arenas
+.EE
+.SH "SEE ALSO"
+.IR venti (8),
+.IR fmtarenas (8),
+.IR fmtisect (8),
+.IR fmtindex (8)