[plt-scheme] DivaScheme needed reinstallation after svn update of DrScheme

On Sep 23, 2007, at 01:38, Danny Yoo wrote:
> On Sat, 22 Sep 2007, Geoffrey S. Knauth wrote:
>> I did an svn update of DrScheme, rebuilt it, and then found  
>> DivaScheme needed to be reinstalled.  Is that normal?
> That's expected, although maybe we could do better.  What's  
> happening is that PLaneT keeps separate sets of packages specific  
> to the version of DrScheme.  And since DivaScheme's installed as a  
> PLaneT package, it would be affected by a DrScheme update.

Thanks.  I added a one-liner in my rebuild script to reinstall  
DivaScheme.  I already have to rebuild a local mysql interface when I  
rebuild DrScheme.  I just wanted to make sure I hadn't done anything  
wrong.