Re: ports/infrastructure/man by default

[Ingo Schwarze]

Hi Marc,

Marc Espie wrote on Mon, Jun 25, 2018 at 04:03:23PM +0200:

> So this is what moving those manpages to base looks like.
> Okay ?

I like the idea, and i checked that the diff does
what it is supposed to do.

So, OK schwarze.
  Ingo