# Include the complete Makefile that is also distributed to end users
include dev/Makefile.targets
