Merge branch 'further-help2man-fixes' into 'master'

Further help2man fixes

See merge request !848
19 jobs for master in 72 minutes and 49 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Level0
passed #376385
documentation

00:04:41

passed #376387
level0:deb:lal

00:23:55

passed #376386
level0:rpm:lal

00:09:53

 
  Level1
passed #376391
level1:deb:lalframe

00:04:17

passed #376392
level1:deb:lalmetaio

00:04:55

passed #376393
level1:deb:lalsimulation

00:12:15

passed #376388
level1:rpm:lalframe

00:02:02

passed #376389
level1:rpm:lalmetaio

00:02:09

passed #376390
level1:rpm:lalsimulation

00:04:32

 
  Level2
passed #376397
level2:deb:lalburst

00:02:45

passed #376398
level2:deb:lalinspiral

00:15:58

passed #376399
level2:deb:lalpulsar

00:15:34

passed #376394
level2:rpm:lalburst

00:01:30

passed #376395
level2:rpm:lalinspiral

00:06:41

passed #376396
level2:rpm:lalpulsar

00:07:10

 
  Level3
passed #376401
level3:deb:lalinference

00:07:59

passed #376400
level3:rpm:lalinference

00:06:19

 
  Level4
passed #376403
level4:deb:lalapps

00:12:36

passed #376402
level4:rpm:lalapps

00:06:57