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

diff5.gz

Reply via email to