Re: [O] Radio targets with mixed capitalisation do not work in HTML export

[Bastien]

Nicolas Goaziou <address@hidden> writes:

> <p>
> <a id="hello-world">Hello World</a>
> </p>
>
> <p>
> Let&rsquo;s say <a href="#hello-world">Hello World</a> to test.</p>
>
> It looks good to me.

The target is the radio link: "Hello World".

The link description in the second paragraph is "hello world".

So the output is not good:

1) <a id="hello-world">Hello World</a> should be
   <a id="Hello-World">Hello World</a>
          ^     ^

2) <a href="#hello-world">Hello World</a> should be
   <a href="#Hello-World">hello world</a>
             ^     ^      ^     ^

See the difference with the result you get after applying
the patch I just sent on top of d2e7b1b5.

-- 
 Bastien