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

[Nicolas Goaziou <n.goaziou@gmail.com>]

Bastien <bzg@gnu.org> writes:

> Nicolas Goaziou <n.goaziou@gmail.com> 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.

I see the capitalization problem, but I still don't understand why you
think target and description are inverted.

   <a href="#xxx">yyy</a>

targets

   <a id="xxx">zzz</a>

In the current state (ignoring the description part), you have:

  <a href="#hello-world">...</a>

and

  <a id="hello-world">...</a>

What do you think is wrong here?


Regards,

-- 
Nicolas Goaziou