On Saturday 21 May 2011 14:28:10 Sven Eckelmann wrote:
Normally makefile targets should create an output with the same name as the target. It is necessary to mark them as PHONY to prevent that the virtual target like all, clean or install aren't executed when a file with the same name exists.
Applied in revision d487861.
Thanks, Marek