diff options
| -rw-r--r-- | docs/users_guide/utils.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/utils.xml b/docs/users_guide/utils.xml index 3f712feca2..39f4b1a205 100644 --- a/docs/users_guide/utils.xml +++ b/docs/users_guide/utils.xml @@ -205,7 +205,7 @@ tags: <literal>––cc=PROG</literal></term> <listitem> <para>The C compiler to use (default: - <command>ghc</command>)</para> + <command>gcc</command>)</para> </listitem> </varlistentry> |