[racket-dev] sudo make install

On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote:
>> I've changed the handin server so it puts its docs in the main tree
>> like (I believe) it is supposed to.
>
> That breaks the distribution build. The "handin-server" docs were
> intentionally not installed into the main tree, because "handin-server"
> is not included in the distribution.

So what the irc person was doing is just not supposed to work, I guess?

I'd still like to find out what preference was getting set, so if Jon
tries again, that'd be interesting to me.

Robby