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/BCD2EDDE-416B-4F6E-88F2-3FC8CC83A3EB%40gmail.com. For more options, visit https://groups.google.com/d/optout.
