diff options
Diffstat (limited to 'Build/source/texk/web2c/omegaware/opl2ofm.web')
-rw-r--r-- | Build/source/texk/web2c/omegaware/opl2ofm.web | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegaware/opl2ofm.web b/Build/source/texk/web2c/omegaware/opl2ofm.web index 3e0e398b5e4..84f7d16d98d 100644 --- a/Build/source/texk/web2c/omegaware/opl2ofm.web +++ b/Build/source/texk/web2c/omegaware/opl2ofm.web @@ -47,7 +47,7 @@ \def\title{OPL2OFM} \def\contentspagenumber{301} \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 OPL2OFM} processor} |