Sounds good to me! On Wednesday, May 27, 2015 at 1:10:20 PM UTC+2, François wrote: > > > > On 27/05/2015, at 22:58, Volker Braun <[email protected] <javascript:>> > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
