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
