In fact, it's the default sphinx setup since 1.6 or so. On Wed, Jun 26, 2019 at 9:46 AM François Bissey <frp.bis...@gmail.com> wrote: > > I don’t have logs going that far back. Someone would have to build 8.7 to > figure that out. > > > On 26/06/2019, at 8:37 PM, Dima Pasechnik <dimp...@gmail.com> wrote: > > > > Did sphinx use latexmk earlier too, or this is only from the recently > > upgraded version? > > > >> > >> Francois > >> > >> On Tuesday, June 25, 2019 at 12:26:57 PM UTC+12, François Bissey wrote: > >>> > >>> Hi, > >>> > >>> in the latest rc (8.8.rc3) and using texlive-2017 we have some missing > >>> references in > >>> the pdf doc but not the html. > >>> See https://github.com/cschwan/sage-on-gentoo/issues/543 > >>> and note we have reproduced the issue in vanilla (not sage-on-gentoo) > >>> builds. > >>> > >>> Because we don’t look at the pdf that often _and_ it is not fatal to the > >>> build, > >>> there is no telling for how long it has been that way. > >>> > >>> François > >> > >> -- > >> 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 https://groups.google.com/group/sage-devel. > >> To view this discussion on the web visit > >> https://groups.google.com/d/msgid/sage-devel/e9813243-4d99-4ffa-bbb8-6ef9b12b583a%40googlegroups.com. > >> For more options, visit https://groups.google.com/d/optout. > > > > -- > 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 https://groups.google.com/group/sage-devel. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/FAD2C94E-29EF-4243-ADDB-24BC71EC271E%40gmail.com. > For more options, visit https://groups.google.com/d/optout.
-- 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 https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq17v80KZ6znjRCSj%3Dcx1Dm019m61s%3D_T4mjjP-vpcy8Bw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
