On Tue, 23 Sep 2014 21:49:28 +1200 François Bissey <[email protected]> wrote:
> I am definitely giving some thought on that but nothing concrete > so far. Upstream is not managing it at all so any solution will be our > own work. > And if I understand correctly, sage depends on sage-doc, so the sage-doc is not even an optional package. Am I right? ----- <[email protected]>
