On Fri, Sep 5, 2008 at 10:20 AM, mabshoff <[EMAIL PROTECTED]> wrote: > > > > On Sep 5, 10:15 am, "William Stein" <[EMAIL PROTECTED]> wrote: >> On Fri, Sep 5, 2008 at 10:09 AM, mabshoff <[EMAIL PROTECTED]> wrote: >> >> > Thoughts? >> >> > It will increase the size of spkgs which is not a good thing. >> >> Yes, it will increase the size of spkgs. This is the tradeoff. >> It will not increase the build time noticeably. >> >> > How many >> > spkgs are actually having documentation removed? >> >> That's always the documentation *sources*, whereas I'm >> talking about prebuilt pdf or html docs. > > Not always - in some cases we are removing prebuild PDFs as well as > i18n docs.
Yes, that's true. >> Are you saying (1) "We might as well do this"? Or, are you saying, >> (2) "I think your proposal is bad; instead, I propose we build from source >> the documentation for each spkg, and install that into $SAGE_LOCAL"? > > Into a doc directory, i.e. $SAGE_LOCAL/doc/foo for foo.spkg? I don't > care either way :) I don't understand. (1) or (2) or? >> > We might introduce some build dependency that we did not have before, >> > so that is a definite concern of mine. >> >> My proposal introduces absolutely no build dependencies. > > At install time, but it would introduce some dependencies at build > time of the spkg. Those can be more easily dealt with obviously :) My proposal introduces absolutely no dependencies at any time, either build or install time. -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
