MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)
MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)
MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)
MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)