diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-24 09:54:32 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-24 09:54:32 +0000 |
commit | b910d9a5155f526f59a87d3083825160446250d7 (patch) | |
tree | 7990245bd69ff807873469c2eb78de998f0372e9 /Build/source/texk/web2c/pktype.web | |
parent | 382b6a76a242c3ee73ced82d0b4bb8a8b3d9da83 (diff) |
[WEB2C] Update convention for TOC page.
"If code and comment disagree, most likely both are wrong." :o)
The outdated convention '\def\titlepage{F}' is replaced with the way
'webmac.tex' actually works. With '\rheader', make sure that the
'\contentspagenumber' is odd.
git-svn-id: svn://tug.org/texlive/trunk@55254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pktype.web')
-rw-r--r-- | Build/source/texk/web2c/pktype.web | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/pktype.web b/Build/source/texk/web2c/pktype.web index 6323dc453a9..48352dd2c73 100644 --- a/Build/source/texk/web2c/pktype.web +++ b/Build/source/texk/web2c/pktype.web @@ -7,7 +7,7 @@ % First release, 0.9 version: 8 May 1985 % Updated to reflect new pk format, 2.0 version: 25 July 1985 % Updated again for new pk format, 2.1 version: 15 August 1985 -% Docmentation updated, 2.2 version: 17 November 1987 +% Documentation updated, 2.2 version: 17 November 1987 % % slight editing to correspond with MFware report -- don, 21 October 89 % additional editing suggested by P Breitenlohner -- don, 18 November 89 @@ -25,9 +25,9 @@ \def\(#1){} % this is used to make section names sort themselves better \def\9#1{} % this is used for sort keys in the index \def\title{PKtype} -\def\contentspagenumber{0} +\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 PKtype} processor} |