Fix newlines in manpage

1 job for distinguish-different-compilation-options in 1 minute and 16 seconds (queued for 21 seconds)
Status Job ID Name Coverage
  Test
passed #125864
linux

00:01:16