diff options
author | Karl Berry <karl@freefriends.org> | 2021-01-31 02:21:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-01-31 02:21:07 +0000 |
commit | 41413d89c1bf60c955c9cee3b407b98d57e921d8 (patch) | |
tree | 86d11a9916f9bda80ef2701355b1a40c261b3850 /Build/source/texk/web2c/omegaware/ovf2ovp.web | |
parent | 04a1c105e666cd5aafc5ece4584d1fb0a24fdf8a (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/ovf2ovp.web')
-rw-r--r-- | Build/source/texk/web2c/omegaware/ovf2ovp.web | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegaware/ovf2ovp.web b/Build/source/texk/web2c/omegaware/ovf2ovp.web index 9a6dad49f3c..63424ea7bb0 100644 --- a/Build/source/texk/web2c/omegaware/ovf2ovp.web +++ b/Build/source/texk/web2c/omegaware/ovf2ovp.web @@ -30,7 +30,7 @@ \def\title{OVF2OVP} \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 OVF2OVP} processor} |