On Tue, 19 Oct 2021 09:28:33 -0600 Jonathan Corbet <corbet@xxxxxxx> wrote: > My first reaction would be to make a new directory like > Documentation/tools and put man pages there. That can become a new > "book" within the larger documentation collection. Make sense? Sounds good to me. Daniel? -- Steve