summary refs log tree commit diff
path: root/pbmtopk.html
diff options
context:
space:
mode:
Diffstat (limited to 'pbmtopk.html')
-rw-r--r--pbmtopk.html8
1 files changed, 4 insertions, 4 deletions
diff --git a/pbmtopk.html b/pbmtopk.html
index 744ffd1c..ccd3e9da 100644
--- a/pbmtopk.html
+++ b/pbmtopk.html
@@ -41,7 +41,7 @@ pbmtopk - convert a PBM image into a packed (PK) format font
 <p><b>pbmtopk</b> reads PBM images as input and produces a packed (PK)
 font file and a TFM (TeX font metric) file as output. The resolution
 parameter indicates the resolution of the font, in dots per inch. If
-the filename &quot;-&quot; is used for any of the filenames,
+the filename "-" is used for any of the filenames,
 <b>pbmtopk</b> uses Standard Input or Standard Output.
 
 <A NAME="lbAE">&nbsp;</A>
@@ -82,12 +82,12 @@ Sets the font family comment in the TFM file.
 
 <P>The PBM files specified by the filename parameters are inserted
 consecutively in the font with the specified attributes. If any of the
-attributes are omitted, or replaced with &quot;*&quot;, a default
+attributes are omitted, or replaced with "*", a default
 value will be calculated from the size of the bitmap. The settings of
 the -W, -H, -D, -I, -h, -v, -x, and -y options do not affected
 characters created in this way.  The character number can be changed
-by including a line starting with &quot;=&quot;, followed by the new
-number.  Lines beginning with &quot;%&quot; or &quot;#&quot; are
+by including a line starting with "=", followed by the new
+number.  Lines beginning with "%" or "#" are
 ignored.
 
 <DT><B>-c</B> <I>num</I>