diff options
Diffstat (limited to 'Build/source/texk/web2c/gftype.web')
-rw-r--r-- | Build/source/texk/web2c/gftype.web | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/gftype.web b/Build/source/texk/web2c/gftype.web index ef6feeefef4..df530672b0d 100644 --- a/Build/source/texk/web2c/gftype.web +++ b/Build/source/texk/web2c/gftype.web @@ -30,7 +30,7 @@ \def\title{GFtype} \def\contentspagenumber{101} \def\topofcontents{\null - \def\titlepage{F} % include headline on the contents page + \titlefalse % include headline on the contents page \def\rheader{\mainfont\hfil \contentspagenumber} \vfill \centerline{\titlefont The {\ttitlefont GFtype} processor} @@ -572,7 +572,7 @@ should be zero, but other document file formats allow nonzero vertical escapement. The character width~|w| duplicates the information in the \.{TFM} file; it -is $2^{24}$ times the ratio of the true width to the font's design size. +is $2^{20}$ times the ratio of the true width to the font's design size. The backpointer |p| points to the character's |boc|, or to the first of a sequence of consecutive \\{xxx} or |yyy| or |no_op| commands that |