summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorDavid Smith <smithdc@gmail.com>2023-10-21 08:27:59 +0200
committerMariusz Felisiak <felisiak.mariusz@gmail.com>2023-10-21 09:39:16 +0200
commit16115771020eaededb56fdfbcfec978e950b6a9a (patch)
tree0c1456d4bf32d8cff1c8a50b990f086dffc7cf95 /docs
parentbe8b25def45bda2e9d1b63e67a80362832bcf45d (diff)
Corrected note about using accents in writing documentation contributing guide.
Diffstat (limited to 'docs')
-rw-r--r--docs/internals/contributing/writing-documentation.txt3
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).