Re: autoconf git and no host help2man

[Paul Eggert]

On 3/14/20 2:36 AM, Ross Burton wrote:
> On 14/03/2020 01:03, Paul Eggert wrote:
> > On 3/13/20 3:42 PM, Ross Burton wrote:
> > > Should autoconf build from tarball without help2man?
> >
> > Yes, it should.
>
> Can someone else verify that this is working?

I said that it *should* work, not that it *does* work. I believe you that it 
doesn't work. (I should have made that clear.)