> On 27/05/2015, at 22:58, Volker Braun <vbraun.n...@gmail.com> wrote: > > On Wednesday, May 27, 2015 at 11:42:59 AM UTC+2, Jan Groenewald wrote: > Apart from the "local" folder to I actually need anything else here to run > sage? > > The documentation output is unfortunately still under /src/doc/output. > Patches would be welcome!
Well, where would be a good spot to install it? In sage-on-gentoo I finally settled in at /usr/share/doc/sage/$lang /usr/share/doc/sage/html/$lang /usr/share/doc/sage/pdf/$lang Which would correspond to SAGE_LOCAL/share/doc/sage I also have a mechanism to only build given $lang - with “en” being mandatory for all purpose. 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
