[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: avoid failure to build grep.pdf due to unicode literal
From: |
Jim Meyering |
Subject: |
Re: avoid failure to build grep.pdf due to unicode literal |
Date: |
Wed, 22 Mar 2023 17:43:45 -0700 |
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.