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

[Gavin Smith]

On 19 September 2016 at 13:29, Gavin Smith  wrote:
> \indexlbrace ->{\ifmonospace \else \ecfont
>\fi \char 123}

I don't know where this definition is coming from: it should be the
following definition:

\def\lbracechar{{\ifmonospace\char123\else\ensuremath\lbrace\fi}}

which, as you can see, doesn't use \ecfont.

Are you sure that you are using the texinfo.tex from Texinfo 6.3?

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