diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-12-18 09:13:34 +0100 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-12-18 09:13:34 +0100 |
| commit | 94c521bf102a74aec7e1a5c3a9ef5eaa968d4e14 (patch) | |
| tree | ad1ad80ee9a4e0ae97451c94a7cf455d3068951b /man/man8/venti-fmt.8 | |
| parent | 7cda34cf34f3afbd3f2000aa5e2b59ddc319f0f2 (diff) | |
| parent | 2991442aef1cf020ffde43673433ee97ef322a53 (diff) | |
| download | plan9port-94c521bf102a74aec7e1a5c3a9ef5eaa968d4e14.tar.gz plan9port-94c521bf102a74aec7e1a5c3a9ef5eaa968d4e14.tar.bz2 plan9port-94c521bf102a74aec7e1a5c3a9ef5eaa968d4e14.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'man/man8/venti-fmt.8')
| -rw-r--r-- | man/man8/venti-fmt.8 | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/man/man8/venti-fmt.8 b/man/man8/venti-fmt.8 index 7c44754f..39906862 100644 --- a/man/man8/venti-fmt.8 +++ b/man/man8/venti-fmt.8 @@ -99,9 +99,9 @@ syncindex \- prepare and maintain a venti server These commands aid in the setup, maintenance, and debugging of venti servers. See -.IR venti (7) +.MR venti (7) for an overview of the venti system and -.IR venti (8) +.MR venti (8) for an overview of the data structures used by the venti server. .PP Note that the units for the various sizes in the following @@ -195,7 +195,7 @@ formats the given .I file as a Bloom filter (see -.IR venti (7)). +.MR venti (7) ). The options are: .TF "\fL-s\fI size" .PD @@ -264,7 +264,7 @@ overflow. The total size of the index should be about 2% to 10% of the total size of the arenas, but the exact percentage depends both on the index block size and the compressed size of blocks stored. See the discussion in -.IR venti (8) +.MR venti (8) for more. .PP .I Fmtindex @@ -401,8 +401,8 @@ Increase the verbosity of output. .SH SOURCE .B \*9/src/cmd/venti/srv .SH SEE ALSO -.IR venti (7), -.IR venti (8) +.MR venti (7) , +.MR venti (8) .SH BUGS .I Buildindex should allow an individual index section to be rebuilt. |