users-guide: Make reverse flags addressable via :ghc-flag:

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

Description

users-guide: Make reverse flags addressable via :ghc-flag:

Previously one could not easily link to the :reverse: flag of a
ghc-flag.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 8, 4:12 AM
Parents
rGHC8a2e840893bf: users-guide: Refer to language extension flags via :extension:
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC7cd54538e0fe: users-guide: Make reverse flags addressable via :ghc-flag: (authored by bgamari).Tue, Oct 8, 4:12 AM