gitlab-ci: Generate HTML man pages

Signed-off-by: Ralph Giles <giles@thaumas.net>
1 job for man-html in 1 minute and 4 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #10486
docker
build-gcc

00:01:04