RE: 103/1

["Paul A. Steckler" <steck@cs.rice.edu>]

>I had to delete the .zos by hand:
>
>find . -name "*.zo" -print  -exec rm {} \;
>
>and run `install' again, which is fairly easy, but WIBNI the setup
>procedure took care of this?  Or maybe adding a `-force' argument to
>the install script to re-build all the .zos?

setup-plt has a --clean option, which will remove .zo's for you.

-- Paul