Re: Messages from autogen

[Angelo Graziosi]

> Il 7 settembre 2017 alle 9.17 Paul Eggert <address@hidden> ha scritto:
> 
> 
> Angelo Graziosi wrote:
> > but I haven't a .git directory!
> 
> Yes, in that case the intent was to skip the 'git' stuff by default. I never 
> test in an environment that lacks 'git' so I didn't run into the problem when 
> hacking on autoconf.sh.
> 
> I installed the attached, which should fix the problem. Please give it a try 

Yes, it seems to work.. thanks.

  Angelo


> (from the previous paragraph one can easily see that I have not tested that 
> the 
> patch actually fixes the problem :-).