diff options
author | Norbert Preining <norbert@preining.info> | 2021-02-10 03:01:13 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-02-10 03:01:13 +0000 |
commit | 7428e668f046bec10d1200214789e40390fa51e7 (patch) | |
tree | d28de61e9d3ed96c80ebf2300d0ba3d6a76414e6 /systems/knuth/dist/tex/glue.web | |
parent | 1350502b809c028b8f123dec94ca92782eda564f (diff) |
CTAN sync 202102100301
Diffstat (limited to 'systems/knuth/dist/tex/glue.web')
-rw-r--r-- | systems/knuth/dist/tex/glue.web | 2 |
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} |