From 0970b71f9471dbe54f2755bdc27351b9bc52d697 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 12 Feb 2025 23:14:22 +0100 Subject: [PATCH] Use OPTS, not FLAG, for --repl-options --- doc/cabal-commands.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/cabal-commands.rst b/doc/cabal-commands.rst index 4be8c3070d9..82d097d0ee1 100644 --- a/doc/cabal-commands.rst +++ b/doc/cabal-commands.rst @@ -1060,7 +1060,7 @@ Examples: Configuration flags can be specified on the command line and these extend the project configuration from the 'cabal.project', 'cabal.project.local' and other files. -.. option:: --repl-options=FLAG +.. option:: --repl-options=OPTS To avoid ``ghci``-specific flags from triggering unneeded global rebuilds, these flags are stripped from the internal configuration when using