diff options
| author | David Smith <smithdc@gmail.com> | 2023-10-21 08:27:59 +0200 |
|---|---|---|
| committer | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2023-10-21 09:39:16 +0200 |
| commit | 16115771020eaededb56fdfbcfec978e950b6a9a (patch) | |
| tree | 0c1456d4bf32d8cff1c8a50b990f086dffc7cf95 /docs | |
| parent | be8b25def45bda2e9d1b63e67a80362832bcf45d (diff) | |
Corrected note about using accents in writing documentation contributing guide.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/internals/contributing/writing-documentation.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/internals/contributing/writing-documentation.txt b/docs/internals/contributing/writing-documentation.txt index 7943dc173d..4783d2eef7 100644 --- a/docs/internals/contributing/writing-documentation.txt +++ b/docs/internals/contributing/writing-documentation.txt @@ -538,7 +538,8 @@ file and line number where they occur will be saved to If you encounter false-positives (error output that actually is correct), do one of the following: -* Surround inline code or brand/technology names with grave accents (`). +* Surround inline code or brand/technology names with double grave accents + (``). * Find synonyms that the spell checker recognizes. * If, and only if, you are sure the word you are using is correct - add it to ``docs/spelling_wordlist`` (please keep the list in alphabetical order). |
