summaryrefslogtreecommitdiff
path: root/systems/knuth/dist/tex/glue.web
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-02-10 03:01:13 +0000
committerNorbert Preining <norbert@preining.info>2021-02-10 03:01:13 +0000
commit7428e668f046bec10d1200214789e40390fa51e7 (patch)
treed28de61e9d3ed96c80ebf2300d0ba3d6a76414e6 /systems/knuth/dist/tex/glue.web
parent1350502b809c028b8f123dec94ca92782eda564f (diff)
CTAN sync 202102100301
Diffstat (limited to 'systems/knuth/dist/tex/glue.web')
-rw-r--r--systems/knuth/dist/tex/glue.web2
1 files changed, 1 insertions, 1 deletions
diff --git a/systems/knuth/dist/tex/glue.web b/systems/knuth/dist/tex/glue.web
index 38a6d667c8..add1903b50 100644
--- a/systems/knuth/dist/tex/glue.web
+++ b/systems/knuth/dist/tex/glue.web
@@ -7,7 +7,7 @@
\def\title{GLUE}
\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 Fixed-Point Glue Setting}