On 30 Dec, Marc Lehmann wrote: >> Nick Lamb pointed out the "make install-strip" option to me last >> night. > 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. Patch attached... > 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 installed.... > My opinion on this is that we probably need a seperate cvs for > gimp-plug-ins. YES! -- Servus, Daniel
Attachment:
biniQ9EhcOYwp.bin
Description: diff5.gz