> No change in generated Makefile.in, happily. > > * Makefile.tpl: Rename [+target+] to [+make_target+]. > * Makefile.def: Rename 'target' to 'make_target'. > * Makefile.in: Regenerate. If there is no change to Makefile.in, why does it have a ChangeLog entry? Otherwise, this is OK.