> > The reason why your patch works is weird, and it's apparent when you
> > run the "pip install" commands one by one:
> >
> > =
> > $ pip install 'sphinx_rtd_theme==2.1.0rc1'
> > Defaulting to user installation because normal site-packages is not
> > writeable
> > Collecting sphinx_rtd_t
On Tue, 30 Jul 2024 at 15:50, Paolo Bonzini wrote:
>
> On Mon, Jul 29, 2024 at 2:26 PM Peter Maydell
> wrote:
> >
> > Currently we have "sphinx" and "sphinx_rtd_theme" in a single
> > group in pythondeps.toml. This means that mkvenv will try to
> > install them both at once, which doesn't work i
On Mon, Jul 29, 2024 at 2:26 PM Peter Maydell wrote:
>
> Currently we have "sphinx" and "sphinx_rtd_theme" in a single
> group in pythondeps.toml. This means that mkvenv will try to
> install them both at once, which doesn't work if sphinx_rtd_theme
> depends on a version of Sphinx which is newer
Currently we have "sphinx" and "sphinx_rtd_theme" in a single
group in pythondeps.toml. This means that mkvenv will try to
install them both at once, which doesn't work if sphinx_rtd_theme
depends on a version of Sphinx which is newer than the system
one, even if the "sphinx" we're installing at th
