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.

Reply via email to