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

[Gavin Smith]

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
file?