Makefile: Documentation for external tool should be correct