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

[Nicolas Goaziou]

Bastien <b...@gnu.org> writes:

> I don't get the logic: the output text has two parts: the target of
> the link, the description of the link.  It the example above, the
> Target is "Hello World", and should be rewritten "Hello-World" to
> escape spaces.  The description is "hello world" and should not be
> rewritten, it must appears the same way to the user.

Actually, the target is "hello-world". On latest "maint", with your
example, I get:

--8<---------------cut here---------------start------------->8---
<p>
<a id="hello-world">Hello World</a>
</p>

<p>
Let&rsquo;s say <a href="#hello-world">Hello World</a> to test.</p>
--8<---------------cut here---------------end--------------->8---

It looks good to me.

>> Anyway, I think the solution is to slightly change the parser to enforce
>> case-insensitivity.
>
> I thought about this, but it does not solve the problem of displaying
> the target instead of the link description.

I cannot reproduce this problem.


Regards,

-- 
Nicolas Goaziou