[tex-k] Bug report for tex.web

[Andreas Scherer]

Dear all,

I suggest the small change for modules 392 and 393 in tex.web. The 
"kludge" '\def\(#1){}' is not applied to module name '@<Store the 
current token...@>' as to its alphabetical siblings.

Best,
Abdreas
-------------- next part --------------
@x [25.392] l.8041
else @<Store the current token, but |goto continue| if it is
@y
else @<Store \(t)the current token, but |goto continue| if it is
@z
@x [25.393] l.8048
@ @<Store the current token, but |goto continue| if it is...@>=
@y
@ @<Store \(t)the current token, but |goto continue| if it is...@>=
@z