> On 12/03/2021, at 11:20, Matthias Koeppe <matthiaskoe...@gmail.com> wrote:
>
> And then -- of course likely not relevant for gentoo -- there is also the
> distinction between source and binary distributions (wheels): For the package
> itself, many users have a good reason to build it from source; but for a
> separate documentation package, most users do not really benefit from
> building it from source - they can as well install a prebuilt wheel providing
> the documentation. These users will then not have a need to install Sphinx at
> all.
I guess it is my fault for doing CI, including doc, straight from git.
Some may say I am abusing the package manager in doing so. But someone
really put some thoughts in making the tools available for it. If there wasn’t
a couple more kinks here and there, I could test branches attached to tickets
directly from it.
I’d really like to continue to do stuff the way I have been doing them.
But if they have to go extinct, that’ll just be that.
--
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 sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/17F61FCF-B049-4D49-BF42-2FC463FB5796%40gmail.com.
