On Fri, Oct 17, 2008, Jeff Johnson wrote:

>     - fix: enumerate files to be included with "make dist".

This finally has fixed the problem.
I'll do some final tests on Saturday morning
and then release 5.1.6 from the 5.1 branch.
Please do not touch the 5.1 branch in the meantime.

                                       Ralf S. Engelschall
                                       rse@engelschall.com
                                       www.engelschall.com