Apart from the language selection, it’s all manual copy at this stage but if there is will to incorporate stuff “upstream” I am quite willing to make it happen in a better way.
I just fell overbooked and run over from left (work) and right (kids being sick in rotation) at the moment so it won’t happen just this minute. François > On 27/05/2015, at 23:13, Volker Braun <vbraun.n...@gmail.com> 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 <vbrau...@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. -- 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.
