Re: [PATCH 07/13] docs: move sphinx-pre-install to tools/doc

[Jonathan Corbet]

Mauro Carvalho Chehab <mchehab+huawei@xxxxxxxxxx> writes:

> Em Wed, 13 Aug 2025 15:32:06 -0600
> Jonathan Corbet <corbet@xxxxxxx> escreveu:
>
>> Put this tool with the other documentation-related scripts.
>
> This one will be painful, as it will cause conflicts with my series
> that clean up the docs Makefile.

Just in general ... I'm more than happy to put this whole series on the
back burner until we've gotten that other stuff merged ... it's an RFC
after all, and there's no urgency here.

jon