profile mode maintenance patch

[Paolo Carlini]

Hi,

On 05/12/2014 10:14 PM, François Dumont wrote:
> Regarding Makefile.in I miss last time. I moved to a new system 
> lately, a Ubuntu based one, and still need to find out what version of 
> automake/autoreconf I need to install. For the moment I have updated 
> Makefile.in manually.
Isn't this clear enough

     http://gcc.gnu.org/install/prerequisites.html

?

Paolo.