diff options
author | rsc <devnull@localhost> | 2005-01-13 04:49:19 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-13 04:49:19 +0000 |
commit | c8b6342d3c2a167dec16931815926e9e4387e7ef (patch) | |
tree | 80d3ec6ea074462b30639168113def880476dad6 /man/man1/proof.1 | |
parent | 741f510ce758f77ed5193256fb693a09a7daecce (diff) | |
download | plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.tar.gz plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.tar.bz2 plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.zip |
Many small edits.
Diffstat (limited to 'man/man1/proof.1')
-rw-r--r-- | man/man1/proof.1 | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/man/man1/proof.1 b/man/man1/proof.1 index 27662d03..2a1de084 100644 --- a/man/man1/proof.1 +++ b/man/man1/proof.1 @@ -115,12 +115,11 @@ and .B d commands are also available as command line options. .SH FILES -.TF /lib/font/bit/MAP .TP -.B /lib/font/bit/* +.B \*9/font/* fonts .TP -.B /lib/font/bit/MAP +.B \*9/font/MAP how to convert troff output fonts and character names into screen fonts and character numbers .SH SOURCE |