Control: tags -1 - moreinfo I hope, I handle the tag correctly here :-)
On 2022-11-03 12:01, Matthias Klose wrote: > where should these be installed, is the docdir sufficient for that?, > or is /usr/src/python3.10 more apprpriate? I would prefer the latter, but docdir would be OK, too, as long it is in -dev package, not in the -doc package.
