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

2016-09-19 Thread 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:

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

2016-09-19 Thread 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

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

2016-09-13 Thread arnold
"David Kaspar [Dee'Kej]" wrote: > I guess I didn't make myself clear. By default the vanilla source code is > used during build inside mock, no modifications to it are currently there. > So, when I try the build for 4.1.4, it uses the texinfo.tex shipped with > gawk. There

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

2016-09-13 Thread David Kaspar [Dee'Kej]
On Tue, Sep 13, 2016 at 4:22 PM, wrote: > Hi David. > > You need to figure out how to get mock to use the texinfo.tex shipped > with gawk. Mock is stil using an older version. I support building the doc > with what I ship. But not otherwise. ​I guess I didn't make myself

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

2016-09-13 Thread arnold
Hi David. You need to figure out how to get mock to use the texinfo.tex shipped with gawk. Mock is stil using an older version. I support building the doc with what I ship. But not otherwise. It may be that you need to move to Texinfo 6.1 (or even the just released Texinfo 6.3) for the latest

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

2016-09-13 Thread David Kaspar [Dee'Kej]
Hello guys, I was in a hurry yesterday, so I have accidentally sent the wrong log file... :-/ Today, I looked into this more: * I am able to create documentation if I normally use 'make -C doc/ pdf' or 'cd doc && make pdf && cd ..' for gawk-4.1.4 in my Fedora 24. * The problem occurs when I try

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

2016-09-13 Thread arnold
Gavin Smith wrote: > On 12 September 2016 at 18:52, wrote: > > Hi. > > > >> there seems to be a regression for the documentation of gawk. I'm not able > >> to compile the PDF version of it with current version 4.1.4. I was able to > >> compile it in

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

2016-09-13 Thread Gavin Smith
On 12 September 2016 at 18:52, wrote: > Hi. > >> there seems to be a regression for the documentation of gawk. I'm not able >> to compile the PDF version of it with current version 4.1.4. I was able to >> compile it in the same way for 4.1.3. >> >> There's a lot of output

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

2016-09-12 Thread arnold
Hi. > there seems to be a regression for the documentation of gawk. I'm not able > to compile the PDF version of it with current version 4.1.4. I was able to > compile it in the same way for 4.1.3. > > There's a lot of output during compilation, and unfortunately I do not have > time to look at