On 16 May 2015 at 11:28, Volker Braun <vbraun.n...@gmail.com> wrote: > Which pdf are you talking about? The reference manual is build in separate > sections. > > * src/doc/output/pdf/en/reference/reference.pdf is the top-level document, > * src/doc/output/pdf/en/reference/rings/rings.pdf is the "Rings" section,
I assumed that reference.pdf contains the reference manual. i.e. everything and not just the table of contents. I cannot check now since I have done another build since then and each build deletes all the docs (or fails if you forget to make doc-clean). To me this does not matter since I have never used the pdf docs much anyway, but clearly some people want that. John > ... > > > > On Saturday, May 16, 2015 at 11:59:41 AM UTC+2, John Cremona wrote: >> >> I also built the pdf documentation and found that the ref manual was >> essentially empty. (17 pages all title page etc) >> >> John >> >> On 15 May 2015 at 23:04, Harald Schilly <harald....@gmail.com> wrote: >> > On Fri, May 15, 2015 at 11:17 PM, Samuel Lelievre >> > <samuel....@gmail.com> wrote: >> >> I can try to dig into the fastly documentation, >> >> community forum, or ask the support team. >> > >> > Well, not sure if this helps. This fastly CDN is the technology behind >> > the github pages, that's why this comes into play. It would be cool to >> > use such a global CDN directly. Do they have some offerings for >> > nonprofit/open-source projects? >> > >> > -- h >> > >> > -- >> > 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+...@googlegroups.com. >> > To post to this group, send email to sage-...@googlegroups.com. >> > Visit this group at http://groups.google.com/group/sage-devel. >> > 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 http://groups.google.com/group/sage-devel. > 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
