On Saturday 21 May 2011 14:28:08 Sven Eckelmann wrote:
The information about header and source files aren't needed by the Makefile. Only the dependencies to headers provide useful information, but these are automatically included by the generated *.d files.
Applied in revision a6f3c76.
Thanks, Marek