bug#15066: ./configure && make && make install

[Bernhard Voelker]

On 08/10/2013 05:13 PM, Paul Eggert wrote:
> I fixed it upstream just now.

even better, thanks!

Have a nice day,
Berny