On 19 September 2016 at 13:03, David Kaspar [Dee'Kej]
> 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
> * I was able to compile documentation for gawk-4.1.3 & gawk-4.1.4 with
> * 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
> * 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?