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.
> >> > 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"?
Into a doc directory, i.e. $SAGE_LOCAL/doc/foo for foo.spkg? I don't
care either way :)
> 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.
At install time, but it would introduce some dependencies at build
time of the spkg. Those can be more easily dealt with obviously :)
> William
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
