Re: HTML output: section headers with diacritics not in table of contents

["Anthony J. Bentley" <anthony@anjbe.name>]

Hi Ingo,

Ingo Schwarze writes:
> Maybe mandoc should treat any \\[uXXXX] sequence as a letter for
> the purposes of tagging?  The code needed for that will look rather
> awkward though, and even when implemented perfectly, the tags will
> be UTF-8 rather than ASCII-encoded.  Would links like
>
>   https://man.archlinux.org/man/diff.1.de#%C3%9CBERSICHT
>
> really be all that useful?  What do people think?

There would be no need for Mandoc to percent-encode UTF-8 here.
In HTML5, a URL fragment (that is, the portion after the '#') may
contain unescaped "URL code points," which are:

   "ASCII alphanumeric, U+0021 (!), U+0024 ($), U+0026 (&), U+0027 ('),
    U+0028 LEFT PARENTHESIS, U+0029 RIGHT PARENTHESIS, U+002A (*),
    U+002B (+), U+002C (,), U+002D (-), U+002E (.), U+002F (/), U+003A
    (:), U+003B (;), U+003D (=), U+003F (?), U+0040 (@), U+005F (_),
    U+007E (~), and code points in the range U+00A0 to U+10FFFD,
    inclusive, excluding surrogates and noncharacters."

-- 
Anthony J. Bentley
--
 To unsubscribe send an email to discuss+unsubscribe@mandoc.bsd.lv