Unused solenv tools - can I remove these?

[Stephan Bergmann]

On 02/19/2012 01:31 AM, Norbert Thiebaud wrote:
> On Sat, Feb 18, 2012 at 3:54 PM, Tim Retout<tim at retout.co.uk>  wrote:
>> cleandiff.pl   # used in 'create_patch' target of
>> solenv/inc/tg_ext.mk, but I can't find 'create_patch' in any
>> makefiles.  Is this likely to be called manually?
>
> yes, I believe that is a helper to generate patch for external libs.
> I never used it myself, but taht should prolly be kept around.

Yes, "dmake create_patch" is intended to be run manually, and still 
actively used.

Stephan