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!
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
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
