Re: [PATCH] HTML: Enable generating copiable anchors on heading commands

[Gavin Smith]

On Thu, Jan 26, 2023 at 02:42:12AM +0100, Arsen Arsenović wrote:
> * tp/Texinfo/Convert/HTML.pm (_default_format_heading_text): Add
> optional target argument, for generating a copiable pilcrow.
> (_convert_heading_command): Pass the element_id of the current
> heading, so that a pilcrow is generated.
> * tp/tests/customization/list-of-tests: Add
> sectioning_without_anchors test, to check getting existing codegen
> with COPIABLE_LINKS=0.
> ---
> Evening (or night, heh...),
> 
> I was given the suggestion of adding copiable anchors to heading
> commands, especially in the middle of pages, so that people can easily
> link to sections.  This turned out to be relatively easy, though, it
> (understandably) changed a lot of existing output.  The current
> implementation reuses the existing stylesheet logic.  An example output
> can be seen in a recent render I made of the GCC manual:
> 
> https://www.aarsen.me/~arsen/gcc.html/gcc/html_node/
> 
> Thoughts?

I think the output looks good.