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. >> > To make this happen: (1) people have to think it is a good idea, >> > and (2) a few >> > lines of code need to be added to local/bin/sage-spkg > > Well, we might as well install the documentation per default. At this > point it will probably not make much of a difference at install time. 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"? If you're saying (2), I could probably list a few reasons why that is not likely to work, as could you, including: -- finding the documentation once it is installed is a pain for users -- actually getting it to build is often a pain (requiring latex, latex2html, etc.) >> > -- William >> >> +1 > > 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. 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 -~----------~----~----~----~------~----~------~--~---
