Sounds fantastic! For those of us running with only one core, will these two processes increase the buildtime by a factor of two? Or is there a single process option similar to the old system? David
On Tue, Feb 19, 2013 at 4:13 AM, Jeroen Demeyer <jdeme...@cage.ugent.be>wrote: > Sage-5.8.beta0 will contain a new driver for the building of the > documentation. This has consequences for all Sage developers: > > * The documentation is built in two passes, similar to how you usually > need to run (la)tex twice to get all references correct. > > * Links are possible from other documents (e.g. the developer or > installation manual or the various tutorials) to the reference manual. > For example, check out the tmp_filename() link here: > > http://sage.math.washington.edu/home/jdemeyer/doc-6495/en/developer/conventions.html#further-conventions-for-automated-testing-of-examples > > * A parallel build (using the usual MAKE="make -jN") can speed up the > docbuilding time. Note that the speed-up factor is closer to N/2 than to > N because two passes are needed now. > > * It will unfortunately require rebasing of all patches changing files > devel/sage/doc/en/reference, as some files have been moved around. > > > Jeroen. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
