summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegaware/odvicopy.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/odvicopy.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/odvicopy.web')
-rw-r--r--Build/source/texk/web2c/omegaware/odvicopy.web2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegaware/odvicopy.web b/Build/source/texk/web2c/omegaware/odvicopy.web
index d31ff26b2ac..e502f4b4c75 100644
--- a/Build/source/texk/web2c/omegaware/odvicopy.web
+++ b/Build/source/texk/web2c/omegaware/odvicopy.web
@@ -43,7 +43,7 @@
\def\title{ODVI\lowercase{copy}} % don't change this line!
\def\contentspagenumber{1}
\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 ODVIcopy} processor}