diff options
| author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-07-12 10:08:14 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-07-12 15:04:20 -0400 |
| commit | f282f02d9d3b190244b6cf4a0cb1bb88816cae84 (patch) | |
| tree | 1fc4647bf1f38bc70ab762e6f5fc1d1667a9e337 /docs/users_guide/flags.py | |
| parent | 2b1adaa7817c453df868d928312a9a99a0481eb1 (diff) | |
| download | haskell-f282f02d9d3b190244b6cf4a0cb1bb88816cae84.tar.gz | |
docs: remove leftovers of static flags
Remove "dynamic + :set" category from documentation,
because all dynamic flags support ":set"; this is a
leftover of "static + :set".
Test Plan: make html
Reviewers: bgamari, mpickering
Reviewed By: mpickering
Subscribers: mpickering, osa1, rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4942
Diffstat (limited to 'docs/users_guide/flags.py')
| -rw-r--r-- | docs/users_guide/flags.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/flags.py b/docs/users_guide/flags.py index cc30b8c066..a70f7fef1e 100644 --- a/docs/users_guide/flags.py +++ b/docs/users_guide/flags.py @@ -5,7 +5,7 @@ # # .. ghc-flag:: # :shortdesc: A short description (REQUIRED) -# :type: dynamic, mode, dynamix/ ``:set`` (REQUIRED) +# :type: dynamic or mode (REQUIRED) # :reverse: The reverse of the flag # :category: The category to list the flag under (default: 'misc') # :noindex: Do not list the flag anywhere (good for duplicates) @@ -109,6 +109,8 @@ class GenericFlag(GenericObject): type_node = nodes.paragraph() reverse_node = nodes.paragraph() + assert flag_type in ('dynamic', 'mode'), ('Unknown flag type for %s: %s' % + (name_string, flag_type)) # Nodes expect an internal ViewList type for the content, # we are just spoofing it here |