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

[Ingo Schwarze <schwarze@usta.de>]

Hi Anthony,

Anthony J. Bentley wrote on Fri, Mar 25, 2022 at 10:21:48AM -0600:
> 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."

Thanks, that sounds like a useful hint.

Excluding surrogates is easy, and

  http://www.unicode.org/faq/private_use.html#noncharacters

tells me what "noncharacters" are.  Since those 66 codepoints are
stable, it is feasible to exclude them, too, without needing any
Unicode library.

All the same, before starting work on an implementation, i would
also appreciate your opinion, Anthony (and possibly of similarly
prolific users and maintainers in other operating systems) whether
such functionality seems desirable to you, because i feel like
sitting on the fence myself.

Yours,
  Ingo
--
 To unsubscribe send an email to discuss+unsubscribe@mandoc.bsd.lv