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
