[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:33:51 +0100

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

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


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

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

reply via email to

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