Re: [PATCH v3 0/8] Collect documentation-related tools under /tools/docs

[Randy Dunlap]

On 10/24/25 1:08 PM, Jonathan Corbet wrote:
> The big elephant lurking in this small room is the home for Python modules;
> I left them under scripts/lib, but that is an even less appropriate place
> than it was before.  I would propose either tools/python or lib/python;
> thoughts on that matter welcome.

I agree with Jani-- not lib/.
if that helps.

-- 
~Randy