Re: Failed to 'make dist' from git (on Fedora)

[Sergey Poznyakoff]

Hi Pavel,

Thanks for reporting.  Commit ac119c80 should fix that.  Please, pull.

Regards,
Sergey