diff options
| -rw-r--r-- | docs/users_guide/phases.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index 788b9befcd..f5f735b81b 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -745,7 +745,7 @@ for example). However, assembling all the sections separately is expensive, so this is slower than compiling normally. Additionally, the size of the library itself (the ``.a`` file) can be a factor of 2 to 2.5 - larger. We use this feature for building GHC's libraries. + larger. .. ghc-flag:: -split-sections :shortdesc: Split sections for link-time dead-code stripping |