diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-16 15:10:39 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-16 15:14:48 -0700 |
| commit | 8d27cc1b185dc36424c4e6dfe5c55c6a25c05028 (patch) | |
| tree | 9aab1f2c94d39867dd9a036adf808b3d2110aa0e /doc/markup.rst | |
| parent | b5372b7d86e3058b419076641dd3048258c4ddf2 (diff) | |
| parent | 41d9846754cdccb82e667ece2f44725ed9cab4e7 (diff) | |
Merge branch 'ghc-8.6' into ghc-head
Diffstat (limited to 'doc/markup.rst')
| -rw-r--r-- | doc/markup.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/markup.rst b/doc/markup.rst index a9878837..4e00f708 100644 --- a/doc/markup.rst +++ b/doc/markup.rst @@ -776,14 +776,14 @@ Special Characters ~~~~~~~~~~~~~~~~~~ The following characters have special meanings in documentation -comments: ``\\``, ``/``, ``'``, ``\```, ``"``, ``@``, ``<``, ``$``. To insert a +comments: ``\``, ``/``, ``'``, `````, ``"``, ``@``, ``<``, ``$``, ``#``. To insert a literal occurrence of one of these special characters, precede it with a -backslash (``\\``). +backslash (``\``). Additionally, the character ``>`` has a special meaning at the beginning of a line, and the following characters have special meanings at the beginning of a paragraph: ``*``, ``-``. These characters can also be -escaped using ``\\``. +escaped using ``\``. Furthermore, the character sequence ``>>>`` has a special meaning at the beginning of a line. To escape it, just prefix the characters in the |