Would it be possible for 'raco setup' to make the executables executable before building the documentation? This would allow me to run drracket during the hour while it's building docs. It seems likely to me that there's some reason for not doing this, but I can't think of what it might be.
John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev