diff --git a/doc/cabal-commands.rst b/doc/cabal-commands.rst index 7f0b37ac4..a48b2c417 100644 --- a/doc/cabal-commands.rst +++ b/doc/cabal-commands.rst @@ -1064,9 +1064,9 @@ configuration from the 'cabal.project', 'cabal.project.local' and other files. To avoid ``ghci``-specific flags from triggering unneeded global rebuilds, these flags are stripped from the internal configuration. As a result, - ``--ghc-options`` will no longer (reliably) work to pass flags to ``ghci`` (or - other REPLs). Instead, you should use the ``--repl-options`` flag to - specify these options to the invoked REPL. + ``--ghc-options`` will not (reliably) work to pass flags to ``ghci`` (or + other REPLs). ``--repl-options`` bypasses this and allows you to specify options + to the invoked REPL without influencing the build configuration. .. option:: --repl-no-load