[tex-k] one more duplicated word in webman.tex
karl at freefriends.org
Fri May 1 00:14:52 CEST 2020
Lines 1593--4 of webman.tex duplicate the word "that". Sorry for
failing to catch this.
Good catch. "that that" is not always an error, but this one is.
You may want to grep knuth-dist for more typos
of this kind, something I'm unable to do on my Windows machine.)
I should have mentioned to you before, but I did do this (months ago)
for the *.web files, using Nelson Beebe's "dw" tool.
However, I didn't think of checking webman.tex or other files, so now
I'm kind of glad you found some more :). --thanks, karl.
More information about the tex-k