users-guide: Better error messages on incomplete ghc-flag directives
authorBen Gamari <ben@smart-cactus.org>
Tue, 22 Aug 2017 15:51:54 +0000 (11:51 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 22 Aug 2017 22:01:06 +0000 (18:01 -0400)
commit7463a95dbe53d789f8f245f26735a7ac74bb6e11
tree9eaaf75f720b2e9e1f163823ddde3684b4bbb2d8
parent3625728a0e3a9b56c2b85ae7ea8bcabdd83ece6a
users-guide: Better error messages on incomplete ghc-flag directives
docs/users_guide/flags.py