Hi Volker On 18 Feb., 22:07, Volker Braun <[email protected]> wrote: > No, delete the output from the doctree. That is, "rm -rf doc/output". Then > "sage -b && sage -docbuild reference html".
I am afraid this did not work. I deleted the output, and even after sage -ba, sage -docbuild did not do any good. Since it was night anyway, I went for the radical solution and rebuilt sage from scratch overnight. > Though I didn't quite understand which file you deleted. I don't have a > pushout.rst file anywhere. Part of #8800 is to put sage.categories.pushout into the manual. Best regards, Simon -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
