Apart from local and src/doc/output I don't need anything else? Regards, Jan
On 27 May 2015 at 13:13, Volker Braun <[email protected]> wrote: > 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]> 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. > -- .~. /V\ Jan Groenewald /( )\ www.aims.ac.za ^^-^^ -- 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.
