Ximin Luo <infini...@debian.org> writes: > The error occurs right when the docbuild starts, before it actually > attempts to build anything, so my guess is that it would also occur > when starting the normal Sage CLI. So I don't think we should skip the > docbuild and release the build products as-is.
Thanks for clarifying. You might want to consider conditionalizing the docbuild anyway to save build time and disk space, since crashing at startup would presumably also break the test suite. -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu
