diff options
| -rw-r--r-- | ghc/docs/users_guide/using.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml index 6dc0ac00e8..f9deafec45 100644 --- a/ghc/docs/users_guide/using.xml +++ b/ghc/docs/users_guide/using.xml @@ -551,9 +551,9 @@ ghc -c Foo.hs</screen> <variablelist> <varlistentry> - <term><option>-x</option> <replaceable>suffix</replaceable></term> - <indexterm><primary><option>-x</option></primary> - </indexterm> + <term><option>-x</option> <replaceable>suffix</replaceable> + <indexterm><primary><option>-x</option></primary> + </indexterm></term> <listitem> <para>Causes all files following this option on the command line to be processed as if they had the suffix |