Possible getting SageTeX documentation separately

[kcrisman]

The following conversation illustrates the issue in question here. This ticket is to document that and provide a place to discuss resolving it.

dimpase:

That's correct. I must say I'm not happy with the status of docs of sagetex - if sagetex is upstream w.r.t. sage, it should get its docs built separately, and installed into the same place as e.g. sagenb.

kcrisman:

Hmm, I'm not sure how to fix that. I guess that in principle there are two options:

Have them auto-built on this site somehow and then include them in the spkg-install, putting them in the "right" place (which may mean updating some Sage doc nontrivially, but whatever)

Have Sage actually build these documents while building sagetex. That has the problem of making tex a build-time dependency which I don't think we want.

Anyway, that would be a separate issue; to be picky, it would be a Sage issue which Sage asks SageTeX to take care of ... it all seems a bit silly to me, though.

dimpase:

TeX ought to be a dependency of SageTeX. Not sure how to handle this, in particular as not only LaTeX is needed, but also certain LaTeX packages.

Inability to build SageTeX docs is a good test for usefulness of SageTeX installation, so it is good to have it built from source...

[kcrisman]

Interestingly, during spkg-check for this package I believe these documents are produced, but not necessarily saved anywhere.