Thanks, I have that file too: so the only error is in the documentation which gives the wrong path to the file.
The pdf I have in my 5.7 build from source was part of the distribution, it seems, since it has a datestamp of Jan 15 while I made that build in February, and had not built any pdf docs. I did not think that the Sage source distribution included pdf files, but it appears that I was wrong. John On 9 March 2013 17:09, Johan Grönqvist <johan.gronqv...@gmail.com> wrote: > 2013-03-09 16:41, John Cremona skrev: > >> According to the online documentation at >> http://www.sagemath.org/doc/installation/sagetex.html the >> documentation for sagetex is in >> SAGE_ROOT/local/share/texmf/tex/generic/sagetex/sagetexpackage.pdf but >> in my installation of Sage-5.7 that files does not exist in that >> place. The only files with prefix sagetexpackage on my system are the >> ones in the texlive documentation which I know to be out of date. > > > > I have a file local/share/doc/sagetex/sagetex.pdf under my sage root, which > looks promising, and which has a date very close to the date in the > sagetex.sty file, which makes me think that it is up-to-date. > > I am not sure if I had the file prior to running > > ./sage --docbuild all pdf > > but I do have it now. > > (I use sage 5.7 which I built from the source) > > Hope it helps, > > Johan > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To post to this group, send email to sage-support@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-support?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-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.