From: Johannes Schindelin <hidden> Date: 2016-06-15 22:42:11
Hi,
I notice that there are files like "git-core.files". Wouldn't it be better
to generate them from the Makefile? The same mechanism could then be used
to make RPMs from the same Makefile.
Ciao,
Dscho