diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-16 14:59:13 -0700 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-16 14:59:13 -0700 |
| commit | 41d9846754cdccb82e667ece2f44725ed9cab4e7 (patch) | |
| tree | 10228f82c23f1e25dcf7b6c097f76d673e0ea18e /doc | |
| parent | 44169f4b1907e34fdf8ff84cf8b7509b1dfcaf55 (diff) | |
| parent | 9712d8899d452292913a260058a6dd3346e8d39b (diff) | |
Merge branch 'ghc-8.4' into ghc-8.6
Diffstat (limited to 'doc')
| -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 |