On Mar 16, 1:00 am, John H Palmieri <jhpalmier...@gmail.com> wrote: > On Thursday, March 15, 2012 2:28:02 PM UTC-7, Nicolas M. Thiéry wrote: > > > Dear Sage doc compilation fans, > > > Currently, "make doc" calls "sage -docbuild" with the option > > --no-pdf-links. I don't have an opinion about this specific option, > > but a very anoying consequence is that if you do a "make" and later a > > "sage -docbuild", then all the doc is recompiled (GASP!). And > > reciprocally. > > > Is there a very good reason to use different options for "make doc" > > and "sage -docbuild"? Otherwise, I vote for having "make doc" just > > call "sage -docbuild". And I let the expert decide whether they want > > to throw "--no-pdf-links" in those default options or not. > > > I volunteer for opening a ticket and implementing it: this will very > > soon save me time! > > Sounds good to me. I can't figure out when it was introduced, so i don't > know why it was introduced, either. Anyone else know?
A quick search on sage-release reveals #10811: "by default build HTML doc without PDF links" [1] IIRC there's repeatedly been discussion about this (on sage-release); the ticket only refers to the following short sage-devel thread: http://groups.google.com/group/sage-devel/browse_thread/thread/04c3d373d5451a96 (So there's a reason we do use '--no-pdf-links'... ;-) ) -leif [1] http://trac.sagemath.org/sage_trac/ticket/10811 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org