> We could remove it, since it is provided by the autotools.

   Here's the patch to remove it.

Applied in the trunk. Many thanks.



Reply via email to