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

[Jim Meyering]

On Wed, Mar 22, 2023 at 5:24 PM Paul Eggert <eggert@cs.ucla.edu> wrote:
> 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?

Thanks! I prefer that, too. Applied.