At Sat, 22 Nov 2014 14:16:32 -0500, Eli Barzilay wrote: > On Fri, Nov 21, 2014 at 4:26 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: > > The two candidates are the trampoline approach and the "just move the > > documentation files over into the user space as if a package had been > > installed". > > Oh, *that*'s the other solution? That sounds pretty bad not only > because it complicates file installation which is already very complex, > but also because it's a significant weight. (For example, the current > size I see is about 180M, multiply that for a department with a thousand > users and you get unhappy admins.)
Just the documentation "index" (main page, search page, etc.) would get generated in the user's space. It's on the order of 1 MB. _________________________ Racket Developers list: http://lists.racket-lang.org/dev