[tex-k] one more duplicated word in webman.tex

[Andrew Komornicki]

Hi,

  This is a response to a post a couple of weeks ago. It was stated that
the user was not able to grep the Knuth dist from his Windows machine.
  Many if not most of the GNU Linux tools have been ported to Windows
for some years.  As a result there are many of us who use both Windows
and Linux have the benefit of these tools on both platforms. just my 2
cents worth.

regards,
Andrew


On 4/30/2020 3:14 PM, Karl Berry wrote:
> Hi Yajie,
> 
>     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.
> http://www.math.utah.edu/~beebe/software/file-tools.html#dw
> 
> 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.
>