Aaron M. Ucko: > 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. >
This is certainly a possibility and would be an improvement, but is harder than it might first appear, because the test suite contains some tests that depend on the existence of the built documentation. We'd have to figure out how to also disable those as well. But yes, we'll try to do this in the future when we have time. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
