Add the gprscdr Makefile to the list of Makefiles to be generated.