[tex-k] [WEB] Header line or not in KNUTHware sources

[Andreas Scherer]

>     \def\titlepage{F} % include headline on the contents page
> 
> The five exceptions are mf.web, patgen.web, tangle.web, tex.web, and
> weave.web.

Under the assumption that this bug will be addressed (see
https://github.com/ascherer/web/blob/master/makeall#L47), I find that
**patgen.web** does it wrong: It simulates a "headline" by _keeping_ the
default '\titletrue' for the table-of-contents page and by _adding_ a
'\line{...}' with top material.

Instead, it should -- as many of the other WEB sources -- change to
'\titlefalse' in '\topofcontents' and '\def'ine '\rheader' with the
headline material.

See attached patch against TeX Live.

Keep investigating,
Andreas
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patgen.patch
Type: text/x-diff
Size: 498 bytes
Desc: not available
URL: <https://tug.org/pipermail/tex-k/attachments/20200520/10568e20/attachment.bin>