On Tue, Nov 13, 2001 at 01:14:54PM -0500, MATHIHALLI,MADHUSUDAN (HP-Cupertino,ex1) 
wrote:
> Yes.. that was a pretty useful script. But it required some changes to the
> makefile - I'd prefer not to put in those changes - but rather use the
> script directly. I have a script which does similar stuff [i'd modified
> Ralf's script to do some customizations] - I can post it if anybody is
> interested.. 

Please do.  =)  Sounds like this may be worthy to go into support/.
-- justin

Reply via email to