aboutsummaryrefslogtreecommitdiff
path: root/man/man1/proof.1
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-13 04:49:19 +0000
committerrsc <devnull@localhost>2005-01-13 04:49:19 +0000
commitc8b6342d3c2a167dec16931815926e9e4387e7ef (patch)
tree80d3ec6ea074462b30639168113def880476dad6 /man/man1/proof.1
parent741f510ce758f77ed5193256fb693a09a7daecce (diff)
downloadplan9port-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.15
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