On 19 September 2016 at 13:03, David Kaspar [Dee'Kej] <dkas...@redhat.com> 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?