[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] makeinfo needed?
From: |
jungle Boogie |
Subject: |
Re: [bug-gawk] makeinfo needed? |
Date: |
Wed, 26 Oct 2016 08:36:40 -0700 |
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
>