On (23/10/17 21:33), Michael Ströder wrote:
>Jakub Hrozek wrote:
>> On Mon, Oct 23, 2017 at 09:19:21PM +0200, Michael Ströder wrote:
>>> Jakub Hrozek wrote:
On Mon, Oct 23, 2017 at 08:46:08PM +0200, Michael Ströder wrote:
> Has anything changed with building the man pages?
>
> I'm
On Mon, Oct 23, 2017 at 09:33:11PM +0200, Michael Ströder wrote:
> Jakub Hrozek wrote:
> > On Mon, Oct 23, 2017 at 09:19:21PM +0200, Michael Ströder wrote:
> >> Jakub Hrozek wrote:
> >>> On Mon, Oct 23, 2017 at 08:46:08PM +0200, Michael Ströder wrote:
> Has anything changed with building the m
Jakub Hrozek wrote:
> On Mon, Oct 23, 2017 at 09:19:21PM +0200, Michael Ströder wrote:
>> Jakub Hrozek wrote:
>>> On Mon, Oct 23, 2017 at 08:46:08PM +0200, Michael Ströder wrote:
Has anything changed with building the man pages?
I'm asking because I now get formatting markup in the o