diff options
Diffstat (limited to 'systems/knuth/dist/etc/vftovp.web')
-rw-r--r-- | systems/knuth/dist/etc/vftovp.web | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/systems/knuth/dist/etc/vftovp.web b/systems/knuth/dist/etc/vftovp.web index cf0ba73326..a145709338 100644 --- a/systems/knuth/dist/etc/vftovp.web +++ b/systems/knuth/dist/etc/vftovp.web @@ -18,7 +18,7 @@ \def\title{VF\lowercase{to}VP} \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 VFtoVP} processor} @@ -1270,7 +1270,7 @@ end @* Outputting the TFM info. \TeX\ checks the information of a \.{TFM} file for validity as the file is being read in, so that no further checks will be needed when -typesetting is going on. And when it finds something wrong, it justs +typesetting is going on. And when it finds something wrong, it just calls the file ``bad,'' without identifying the nature of the problem, since \.{TFM} files are supposed to be good almost all of the time. |