On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt <mfl...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
