diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/expected-undocumented-flags.txt | 1 | ||||
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt index 33958b1578..1e8cd4f4cc 100644 --- a/docs/users_guide/expected-undocumented-flags.txt +++ b/docs/users_guide/expected-undocumented-flags.txt @@ -26,7 +26,6 @@ -dsource-stats -dstg-stats -dsuppress-stg-exts --exclude-module -fallow-incoherent-instances -fallow-overlapping-instances -fallow-undecidable-instances diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index 84ec626a17..abcc2f3e31 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -1483,7 +1483,7 @@ generation are: on ``.hi``, ``.a_hs`` on ``.a_hi``, and ``.b_hs`` on ``.b_hi``. If you do not use this flag then the empty suffix is used. -.. ghc-flag:: --exclude-module=⟨file⟩ +.. ghc-flag:: -exclude-module=⟨file⟩ :shortdesc: Regard ``⟨file⟩`` as "stable"; i.e., exclude it from having dependencies on it. :type: dynamic |