bug-gawk
[Top][All Lists]
Advanced

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

Re: [bug-gawk] makeinfo needed?


From: arnold
Subject: Re: [bug-gawk] makeinfo needed?
Date: Wed, 26 Oct 2016 07:40:45 -0600
User-agent: Heirloom mailx 12.4 7/29/08

Hi.

I purposely blew it away from the repo, since I got tired of keeping
it up to date.  Running bootstrap.sh first should still touch
at least gawk.info.

I may need to reconsider that decision, or make doc/Makefile a little
smarter.

In any case, having makeinfo installed wouldn't hurt if you're going
to be building GNU packages from scratch.

Better yet, build from the release tar ball instead of from git...

HTH,

Arnold

"Andrew J. Schorr" <address@hidden> wrote:

> Hi,
>
> On Tue, Oct 25, 2016 at 07:39:26PM -0700, jungle Boogie wrote:
> > Was some dependency recently added to build gawk?
> > 
> > rm -rf $backupdir; exit $rc
> > /home/pi/bin/gawk/missing: line 81: makeinfo: command not found
> > WARNING: 'makeinfo' is missing on your system.
> >          You should only need it if you modified a '.texi' file, or
> >          any other file indirectly affecting the aspect of the manual.
> >          You might want to install the Texinfo package:
> >          <http://www.gnu.org/software/texinfo/>
> >          The spurious makeinfo call might also be the consequence of
> >          using a buggy 'make' (AIX, DU, IRIX), in which case you might
> >          want to install GNU make:
> >          <http://www.gnu.org/software/make/>
> > Makefile:429: recipe for target 'gawk.info' failed
> > make[2]: *** [gawk.info] Error 127
> > make[2]: Leaving directory '/home/pi/bin/gawk/doc'
> > Makefile:747: recipe for target 'all-recursive' failed
> > make[1]: *** [all-recursive] Error 1
> > make[1]: Leaving directory '/home/pi/bin/gawk'
> > Makefile:566: recipe for target 'all' failed
> > make: *** [all] Error 2
>
> Are you building from the master branch? According to git log:
>
> commit 8ad38bf4d70682433e3f53fe0637929f28d64e3e
> Author: Arnold D. Robbins <address@hidden>
> Date:   Tue Oct 25 23:13:52 2016 +0300
>
>     Ignore doc/*.info in .gitignore.
>
> If that's true, then he blew away doc/gawk.info, which explains
> your problem, I think. He inadvertently removed doc/gawk.info
> and doc/gawkinet.info. I don't know why...
>
> Regards,
> Andy



reply via email to

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