users-guide: Run sphinx in nit-picky mode

Authored by bgamari on Sun, Oct 6, 2:06 PM.

Description

users-guide: Run sphinx in nit-picky mode

This ensure that it blurts an error on missing references.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHCca4791dba46b: users-guide: Rework pragma key generation
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC98c094227c77: users-guide: Run sphinx in nit-picky mode (authored by bgamari).Tue, Oct 8, 4:12 AM