Default name of target executable

[Simon Marlow]

On 24 October 2005 21:45, Tomasz Zielonka wrote:

> On 10/24/05, Tomasz Zielonka <tomasz.zielonka at gmail.com> wrote:
>> Here is the patch.
> 
> Again, with a small bugfix in docs.

Thanks; now committed.

Cheers,
	Simon