Re: [PATCH RFC 00/13] Collect documention-related tools under tools/doc

[Jani Nikula]

On Thu, 14 Aug 2025, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote:
> Would tools/docs/lib be OK?
> I wouldn't tie it up to a specific language,
> but I don't have a strong opinion either way.

I think the question is, is the directory for libraries used by
documentation tools *or* for python libraries used by tools in general?

I would lean towards the latter, to not create another dilemma when a
library is used by both documentation and other tools.


BR,
Jani.

-- 
Jani Nikula, Intel