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?
-- John -- 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