[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] 'make -C doc/ pdf' [Makefile:457: recipe for target gawk.

From: Gavin Smith
Subject: Re: [bug-gawk] 'make -C doc/ pdf' [Makefile:457: recipe for target gawk.pdf failed]
Date: Mon, 19 Sep 2016 13:27:27 +0100

On 19 September 2016 at 13:16, Norbert Preining <address@hidden> wrote:
> On Mon, 19 Sep 2016, Gavin Smith wrote:
>> If anyone could give more specific information on this, that would be
>> great. What fonts are missing, and when are they required?
> I have seen the same problem on Debian installations since quite some
> time. On and off cm-super is needed. It seems that texinfo
> switches to (probably) T1 encoding at some point.
> But I never tracked down what is there real change.

I believe there was a problem with the { and } glyphs in indices since
these were changed not to use a typewriter font when occurring as a
section heading. I remember that I changed the code not to use the
less common fonts for these, but it's possible that I didn't do it
properly. Can anyone confirm this, e.g. with a minimal failing test

reply via email to

[Prev in Thread] Current Thread [Next in Thread]