On 30 Dec, Marc Lehmann wrote:
>> Nick Lamb pointed out the "make install-strip" option to me last
> Didn't know that one, either.
Uhm, one of the most beloved auto* features... :))
> Bad. This (and the missing configure options) should be documented
> before 1.2 indeed.
> That would be a start, yes. However just "not installing them"
> disables them for all users, so is not really a customization to a
> specific user.
It wouldn't be too hard to write a tool that removes entries from
pluginrc and thus make the tools invisible to the user although
> My opinion on this is that we probably need a seperate cvs for