Re: make install rewrites source files

Clemens Buchacher [off-list ref] writes:

How about removing the profile-all target and making it a build option
instead? To enable it, do the usual:

 echo PROFILE_BUILD=YesPlease >> config.mak
 echo prefix=... >> config.mak
 make
 su make install

Yeah, I would prefer something like that. We could even keep "profile-all"
target for b/c if we wanted to, no?