man: import changes from plan 9

R=rsc
CC=plan9port.codebot
http://codereview.appspot.com/4559071

man/man1/venti.1

@@ -172,7 +172,8 @@ messages send/received.
 .IR vacfs (4),
 .IR venti (7),
 .IR vbackup (8),
-.IR venti (8)
+.IR venti (8),
+.IR venti-fmt (8)
 .SH BUGS
 There should be programs to read and write
 venti files and directories.

man/man8/venti-backup.8

@@ -5,7 +5,7 @@ rdarena, wrarena \- copy arenas between venti servers
 .PP
 .B venti/rdarena
 [
-.B -v
+.B -qv
 ]
 .I arenapart
 .I arenaname
@@ -34,7 +34,9 @@ and writes this arena to standard output.
 This command is typically used to back up an arena to external media.
 The
 .B -v
-option generates more verbose output on standard error.
+option generates more verbose output on standard error;
+.B -q
+generates only errors on standard error.
 .PP
 .I Wrarena
 writes the blocks contained in the arena
@@ -97,10 +99,14 @@ awk '/^end offset/ { print $3 }' offset >last
 Of course, one would need to add wrapper code to keep track
 of which arenas have been processed.
 See
-.B /sys/src/cmd/venti/backup.example
+.B /sys/src/cmd/venti/words/backup.example
 for a version that does this.
 .SH SOURCE
 .B \*9/src/cmd/venti/srv
 .SH SEE ALSO
 .IR venti (7),
 .IR venti (8)
+.SH BUGS
+.I Wrarena
+can't read a pipe or network connection containing an arena;
+it needs a file already containing the entire arena.

man/man8/venti-fmt.8

@@ -69,14 +69,15 @@ syncindex \- prepare and maintain a venti server
 .PP
 .B venti/buildindex
 [
-.B -B
+.B -bd
-.I blockcachesize
+] [
-]
+.B -i
-[
+.I isect
-.B -Z
+] ... [
+.B -M
+.I imemsize
 ]
 .I venti.conf
-.I tmp
 .PP
 .B venti/checkindex
 [
@@ -94,17 +95,6 @@ syncindex \- prepare and maintain a venti server
 .B -afv 
 ]
 .I file
-.PP
-.B venti/copy
-[
-.B -f
-]
-.I src
-.I dst
-.I score
-[
-.I type
-]
 .SH DESCRIPTION
 These commands aid in the setup, maintenance, and debugging of
 venti servers.
@@ -325,13 +315,12 @@ This command is typically used to build a new index for a Venti
 system when the old index becomes too small, or to rebuild
 an index after media failure.
 Small errors in an index can usually be fixed with
-.IR checkindex .
+.IR checkindex ,
-.PP
+but 
-The
+.I checkindex
-.I tmp
+requires a large temporary workspace and 
-file, usually a disk partition, must be large enough to store a copy of the index.
+.I buildindex
-This temporary space is used to perform a merge sort of index entries
+does not.
-generated by reading the arenas.
 .PP
 Options to 
 .I buildindex
@@ -339,18 +328,26 @@ are:
 .TF "\fL-M\fI imemsize"
 .PD
 .TP
-.BI -B " blockcachesize
+.B -b
+Reinitialise the Bloom filter, if any.
+.TP
+.B -d
+`Dumb' mode; run all three passes.
+.TP
+.BI -i " isect
+Only rebuild index section
+.IR isect ;
+may be repeated to rebuild multiple sections.
+The name
+.L none
+is special and just reads the arenas.
+.TP
+.BI -M " imemsize
 The amount of memory, in bytes, to use for caching raw disk accesses while running
 .IR buildindex .
 (This is not a property of the created index.)
-The default is 8k.
+The usual suffices apply.
-.TP
+The default is 256M.
-.B -Z
-Do not zero the index.
-This option should only be used when it is known that the index was already zeroed.
-(Version 1 indexes only; see the discussion in
-.I fmtindex
-above.)
 .PD
 .PP
 .I Checkindex
@@ -409,5 +406,3 @@ Increase the verbosity of output.
 .SH BUGS
 .I Buildindex
 should allow an individual index section to be rebuilt.
-The merge sort could be performed in the space used to store the
-index rather than requiring a temporary file.

man/man8/venti.8

@@ -2,9 +2,11 @@
 .SH NAME
 venti \- archival storage server
 .SH SYNOPSIS
+.in +0.25i
+.ti -0.25i
 .B venti/venti
 [
-.B -Ldsw
+.B -Ldrs
 ]
 [
 .B -a
@@ -18,8 +20,6 @@ venti  \- archival storage server
 .B -c
 .I config
 ]
-.PP
-.B "    "
 [
 .B -C
 .I lumpcachesize
@@ -438,6 +438,9 @@ Implies
 Enable logging.  By default all logging is disabled.
 Logging slows server operation considerably.
 .TP
+.B -r
+Allow only read access to the venti data.
+.TP
 .B -s
 Do not run in the background.
 Normally,