Re: avoid failure to build grep.pdf due to unicode literal

[Paul Eggert]

On 2023-03-22 16:28, Jim Meyering wrote:
> So I've made (not yet pushed) this small change
> to ensure that I can build and push the 3.10 documentation.  Of course,
> I'd rather fix it properly, but that can wait until after the 3.10
> release, if needed.

Although I don't see a proper fix, how about the attached workaround 
instead?

0001-doc-avoid-capital-sharp-S-with-TeX.patch
Description: Text Data