Re: [bug-gawk] makeinfo needed?

[arnold]

I've restored the .info files to the repo and set things up
such that merges will be easier for me in the future.

Enjoy,

Arnold

jungle Boogie <address@hidden> wrote:

> On 26 October 2016 at 06:40,  <address@hidden> wrote:
> > 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.
> >
>
> On a brand new install of raspbian, I got the same message, even after
> first running ./bootstrap and then ./configure
>
> > 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...
> >
>
> yes, but this would be found out a few months later, not hours after
> you make a commit. ;)
>
> > HTH,
> >
> > Arnold
> >