Re: proposal for html manual cross links

Halloechen!

Dumas Patrice <[email protected]> writes:

> [...]
>
> I also propose the following change:
> @point       utf8 character 2217
> @result      utf8 character 21D2
> @expansion   utf8 character 2192
> @bullet      utf8 character 2022
> @minus       utf8 character 2212 (or 002D ?)

2212, no doubt.

> @copyright   utf8 character 00A9
> @dots        utf8 character 2026
>
> [...]
>
> For '--' in normal text, it seems to me that the utf-8 character
> is '2010' (hyphen), and for '---' it is '2014' (em dash).

I have no idea about the context of this, but '--' is 2013 and '---'
is 2014.

> Now the proposal:
>
> [...]
>
> If there are more than one possibility for the utf-8 character,
> which may happen for characters in the latin1 range  and in
> another range (@v{Z}, @v{s}, @ae{}...), the value not in the
> latin1 range should be choosen. If no utf-8 character exists, the
> makeinfo convention is used.

@ae{} is e6, 4d5 is a different (Cyrillic) letter.

> [...]
>
> ``     "

201c

> ''     "

201d

Tschoe,
Torsten.

-- 
Torsten Bronger, aquisgrana, europa vetus


_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest