################################################################################
##################### GNUmakefile is preferred by GNU make #####################
################################################################################

include Makefile.main

