Would this mean that the handin server docs don't get built? Robby
On Mon, Jan 3, 2011 at 3:11 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote: >> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler >> <ro...@eecs.northwestern.edu> wrote: >> > >> > Or maybe there is another possible solution that involves changing how >> > the distribution and or the docs build works? >> >> I think the conventional solution is for `make install' to do much >> less work than it current does. In "normal" Make-built software, >> `make' does all of the compilation, and `make install' just does the >> copying. That way, `make install' wouldn't be doing things like >> reading preferences and creating the '.racket' directory. > > Well, moving work from `make install' to `make' does nothing in itself. > What you're suggesting is that we change what `make install' produces. > > In particular, I think you're suggesting that no user-specific actions > take place as a result of a build and install. That change sounds ok to > me, and it can be accomplished by passing `--no-user' to `raco setup' > during `make install'. > > Unless anyone objects, I'll push that change soon. > > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev