On Mon, Aug 17, 2020 at 12:31:33PM +0200, Phil Sutter wrote: > The list of man pages to remove along with 'make clean' was missing a > few built ones, add them. That's fine.
On Mon, Aug 17, 2020 at 12:31:33PM +0200, Phil Sutter wrote: > The list of man pages to remove along with 'make clean' was missing a > few built ones, add them. That's fine.
|