summaryrefslogtreecommitdiff
path: root/docs/users_guide/safe_haskell.rst
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>2018-07-12 10:08:14 -0400
committerBen Gamari <ben@smart-cactus.org>2018-07-12 15:04:20 -0400
commitf282f02d9d3b190244b6cf4a0cb1bb88816cae84 (patch)
tree1fc4647bf1f38bc70ab762e6f5fc1d1667a9e337 /docs/users_guide/safe_haskell.rst
parent2b1adaa7817c453df868d928312a9a99a0481eb1 (diff)
downloadhaskell-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/safe_haskell.rst')
-rw-r--r--docs/users_guide/safe_haskell.rst6
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/safe_haskell.rst b/docs/users_guide/safe_haskell.rst
index 014f4efc43..adf70d2a90 100644
--- a/docs/users_guide/safe_haskell.rst
+++ b/docs/users_guide/safe_haskell.rst
@@ -582,7 +582,7 @@ trust property of packages:
.. ghc-flag:: -trust ⟨pkg⟩
:shortdesc: Expose package ⟨pkg⟩ and set it to be trusted. See
:ref:`safe-haskell`.
- :type: dynamic/ ``:set``
+ :type: dynamic
:category: packages
Exposes package ⟨pkg⟩ if it was hidden and considers it a
@@ -591,7 +591,7 @@ trust property of packages:
.. ghc-flag:: -distrust ⟨pkg⟩
:shortdesc: Expose package ⟨pkg⟩ and set it to be distrusted. See
:ref:`safe-haskell`.
- :type: dynamic/ ``:set``
+ :type: dynamic
:category: packages
Exposes package ⟨pkg⟩ if it was hidden and considers it
@@ -599,7 +599,7 @@ trust property of packages:
.. ghc-flag:: -distrust-all-packages
:shortdesc: Distrust all packages by default. See :ref:`safe-haskell`.
- :type: dynamic/ ``:set``
+ :type: dynamic
:category: packages
Considers all packages distrusted unless they are