[tex-k] New features for TIE
andreas_scherer at freenet.de
Tue Mar 1 14:34:07 CET 2022
I think your proposed patch is completely unnecessary:
$ tie -m /dev/stderr tie.w tie-w2c.ch 2>&1 >/dev/null | less
This also works with 'ctie'.
Note that CWEB can not be coerced to write its main output to a device
at this time, only secondary output of CTANGLE can be redirected to
@(/dev/stdout@> or @(/dev/stderr@> or /@(/dev/null@>.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 840 bytes
Desc: OpenPGP digital signature
More information about the tex-k