Re: Fwd: Re: error_at_line, request to add

[Paul Eggert]

On 03/09/2015 09:26 AM, Mohammad Akhlaghi wrote:
there was no "make install"

By tradition, Gnulib never installs anything.  Perhaps that tradition 
should change but it should be a conscious change, presumably one 
supported by the infrastructure.