diff options
| author | David Waern <david.waern@gmail.com> | 2010-04-13 00:51:51 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-04-13 00:51:51 +0000 |
| commit | be5cd616c167e5d03c460e49648a06e43864f259 (patch) | |
| tree | 381c7c0f4e5605373d6fad240067b8e5e80ac9be /doc/haddock.xml | |
| parent | 7f647a811bdf40de168428faeccb549ccf56804c (diff) | |
Slight fix to the documentation of examples
Diffstat (limited to 'doc/haddock.xml')
| -rw-r--r-- | doc/haddock.xml | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml index b779f835..df12f400 100644 --- a/doc/haddock.xml +++ b/doc/haddock.xml @@ -1409,15 +1409,17 @@ module A where one of these special characters, precede it with a backslash (<literal>\</literal>).</para> - <para>Additionally, the character <literal>></literal> and - the character sequence <literal>ghci></literal> have special - meanings at the beginning of a line. The following characters - have special meanings at the beginning of a paragraph: - <literal>*</literal>, <literal>-</literal>. The single - characters can also be escaped using <literal>\</literal>. To - get a literal <literal>ghci></literal> at the beginning of a - line, prefix the <literal>></literal> with a - backslash.</para> + <para>Additionally, the character <literal>></literal> has + a special meaning at the beginning of a line, and the + following characters have special meanings at the beginning of + a paragraph: + <literal>*</literal>, <literal>-</literal>. These characters + can also be escaped using <literal>\</literal>.</para> + + <para>Furthermore, the character sequence <literal>ghci></literal> + has a special meaning at the beginning of a line. To + escape it, just prefix the <literal>></literal> character with a + backslash.</para> </section> <section> |