On Wed, 12 Jan 2000, Karl Heinz Marbaise wrote:
> I have encountered that makeinfo does not correctly handle those umlaut
> within the title. I got already info style umlaut.
>
> Here is the way how it could be changed:
>
> file: html.c
> routine: html_output_head ()
>
> html_title = title ? text_expansion (title) : _("Untitled");
>
> if you change the "text_expansion" into "expansion(title, 0)" then it
> produces excatly what is correct like HTML umlaut like Ü etc.
I don't know if this is the right solution; I'm worried that it will
break other cases. The comments inside html_output_head explicitly
tell that this is done on purpose:
/* The <title> should not have markup. */
html_title = title ? text_expansion (title) : _("Untitled");
Here's the relevant ChangeLog entry:
1999-09-18 Karl Berry <[EMAIL PROTECTED]>
* makeinfo/html.c (html_output_head): use text for <title>, not
html markup. From Francois.
Karl, do you remember what was the precise case where this change was
required?
