Re: [PATCH] (5) Man page changes

2021-11-17 Thread Dominik Vogt
On Wed, Nov 17, 2021 at 05:59:49AM +, Thomas Adam wrote: > On Tue, Nov 16, 2021 at 01:36:53AM +0100, Dominik Vogt wrote: > > This is the full set of patches for splitting the man page, to be > > applied to master. > > > > 1, 2 and 4 are unrelated cleanups. > > 3 and 5 implement the split. > >

Re: [PATCH] (5) Man page changes

2021-11-16 Thread Thomas Adam
On Tue, Nov 16, 2021 at 01:36:53AM +0100, Dominik Vogt wrote: > This is the full set of patches for splitting the man page, to be > applied to master. > > 1, 2 and 4 are unrelated cleanups. > 3 and 5 implement the split. > > 4 conflicts with both, 3 and 5, so it can't be pulled out of the >