From 20bce07dd828a1d112839c37a2b8870969739cdf Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 7 Jan 2019 15:04:47 -0800 Subject: [PATCH] Clarified automatic identifiers. We remove non-alphanumerics. This includes, e.g., emojis. Closes #5201. --- MANUAL.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/MANUAL.txt b/MANUAL.txt index 417ec8d6c..8273447de 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -1873,7 +1873,8 @@ header text is: - Remove all formatting, links, etc. - Remove all footnotes. - - Remove all punctuation, except underscores, hyphens, and periods. + - Remove all non-alphanumeric characters, + except underscores, hyphens, and periods. - Replace all spaces and newlines with hyphens. - Convert all alphabetic characters to lowercase. - Remove everything up to the first letter (identifiers may @@ -1885,6 +1886,7 @@ Thus, for example, Header Identifier ------------------------------- ---------------------------- `Header identifiers in HTML` `header-identifiers-in-html` + `Maître d'hôtel` `maître-dhôtel` `*Dogs*?--in *my* house?` `dogs--in-my-house` `[HTML], [S5], or [RTF]?` `html-s5-or-rtf` `3. Applications` `applications`