[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Gavin Smith
Subject: Re: [bug-gawk] 'make -C doc/ pdf' [Makefile:457: recipe for target gawk.pdf failed]
Date: Mon, 19 Sep 2016 13:11:48 +0100

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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]