gitlab-ci: Check coverage of GHC flags in users guide

Authored by bgamari on Sun, Oct 6, 1:47 PM.

Description

gitlab-ci: Check coverage of GHC flags in users guide

This ensures that all GHC flags are documented during the documentation
build.

Fixes Trac #17315.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHCa95f7185d38c: doc: Write out documented flag list
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC9402608ea595: gitlab-ci: Check coverage of GHC flags in users guide (authored by bgamari).Tue, Oct 8, 4:12 AM