Whats the command to build the documentation for the web page? Maybe it would be easy to simply add that to the release workflow.
On Monday, June 2, 2014 7:15:11 PM UTC+1, Harald Schilly wrote: > > > > On Monday, June 2, 2014 1:31:37 PM UTC+2, Nathann Cohen wrote: >> >> I sent an email to Minh yesterday. I thought that he was in charge of >> that ?... >> >>> >>> > He was, but AFAIK he is busy with other projects/things/life ... > > To give you an impression why this takes so long: I have to build sage to > compile the documentation. This is inside this new VM. So, first, m4 was > not installed -- that's easy to fix. Then, atlas did tune itself to hell -> > re-discovered and already forgot again the flag to teach it not to do this. > Ok. Now I checked back, and it didn't finish to compile. The reason is, > pynac complains about some python paths when you try compiling it as root. > Besides that, I think about just using the binary distribution, but I > remember Minh once told me that one has to do this from source to get all > the necessary files for the documentation. Maybe that's not true any more, > IDK... > > H > > -- 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.