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

[Gavin Smith]

On 19 September 2016 at 13:03, David Kaspar [Dee'Kej]
<address@hidden> wrote:
> Hello guys,
>
> I have located the problem with help from my colleague (Vitezslav Crhonek,
> maintainer of texinfo). For some reason, the newer version of texinfo (6.1+)
> is unable to fallback to different fonts when some other fonts are
> unavailable.
>
> Recap:
>  * I was able to compile documentation for gawk-4.1.3 & gawk-4.1.4 with
> texinfo-6.0
>  * I was able to compile documentation for gawk-4.1.3 with texinfo-6.1
>  * I was NOT able to compile documentation for gawk-4.1.4 with texinfo 6.1
>
> Solution:
>  * I had to add installation of missing fonts into build root (texlive-ec,
> texlive-cm-super in Fedora)
>
> My guess is that you have switched to new fonts for Index of documentation,
> or older texinfo was able to get over missing fonts before so nobody has
> noticed that problem.

If anyone could give more specific information on this, that would be
great. What fonts are missing, and when are they required?

I remember there was a problem before with some characters as the
heading in an index, possibly brace characters: maybe this is related?
I remember that we tried to use standard fonts for these glyphs, but
maybe there is an omission somewhere?