On Mar 16, 1:32 am, leif <not.rea...@online.de> wrote: > 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/04c3d3... > > (So there's a reason we do use '--no-pdf-links'... ;-) ) > > -leif > > [1]http://trac.sagemath.org/sage_trac/ticket/10811
P.S.: Perhaps the opportunity to introduce yet another Sage environment variable; to be set in ~/.sagerc of course! -leif -- 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