summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegaware/ofm2opl.web
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-01-31 02:21:07 +0000
committerKarl Berry <karl@freefriends.org>2021-01-31 02:21:07 +0000
commit41413d89c1bf60c955c9cee3b407b98d57e921d8 (patch)
tree86d11a9916f9bda80ef2701355b1a40c261b3850 /Build/source/texk/web2c/omegaware/ofm2opl.web
parent04a1c105e666cd5aafc5ece4584d1fb0a24fdf8a (diff)
\titlefalse rather than \titlepage{F}
git-svn-id: svn://tug.org/texlive/trunk@57570 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/omegaware/ofm2opl.web')
-rw-r--r--Build/source/texk/web2c/omegaware/ofm2opl.web2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegaware/ofm2opl.web b/Build/source/texk/web2c/omegaware/ofm2opl.web
index add6a51b888..3599ac494ef 100644
--- a/Build/source/texk/web2c/omegaware/ofm2opl.web
+++ b/Build/source/texk/web2c/omegaware/ofm2opl.web
@@ -40,7 +40,7 @@
\def\title{OFM2OPL}
\def\contentspagenumber{201}
\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 OFM2OPL} processor}