On 01/03/2011 10:52 AM, Robby Findler wrote: > 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.
As of commit commit e6d45e2ae6804a73c9cea2a41d544c4a65b7a5d9 Author: Robby Findler <ro...@racket-lang.org> Date: Mon Jan 3 08:19:51 2011 -0600 a 'sudo make install' does not create the ~/.racket directory and things install fine into /usr/local when --prefix=/usr/local is given to `configure' _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev