Re: branch: make dist fails

[José Matos]

On Wednesday 12 November 2008 12:31:31 Jürgen Spitzmüller wrote:
> the following seems to work.
>
> OK?

OK.

> Jürgen

-- 
José Abílio