On 2017-12-30, Simon King <[email protected]> wrote:
> Hi Dima,
>
> On 2017-12-30, Dima Pasechnik <[email protected]> wrote:
>> On Friday, December 29, 2017 at 6:04:34 PM UTC, Simon King wrote:
>>> Is it a known problem that the documentation doesn't build for cvxopt? 
>>>
>> it used to work.
>> Open a ticket...
>
> Done: #24447

And another one: #24448, with a more general purpose: Make it possible
to use Sage's doc builder to build documentation outside of the Sage
source tree.

Best regards,
Simon

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to