Re: pdfeTeX error when compiling lilypond.texi with accents in node names

[Oleg Katsitadze]

On Thu, Jul 26, 2007 at 09:21:04AM +0200, John Mandereau wrote:
> A related improvement would be adding a command like
> @thinspace to insert a thin unbreakable space.

This should be easy to add.  This will make @dmn{} unnecessary, but
whatever.  The question is, what should @thinspace produce in HTML and
Info outputs?

As for Info, I guess we can omit the space.  This seems ok for
guillemets and abbreviations like `p.123' (page 123).  Furthermore,
@dmn{} omits the space, too.

As for HTML, there is a "hair space" (&#x200A), but it seems not to be
widely supported by browsers:

  
http://en.wikipedia.org/wiki/Space_%28punctuation%29#Space_characters_and_digital_typography

So maybe we should omit it in HTML, too.

Finally, there is a thin space in UNICODE (U+200A).  Should we use it
in Info output if encoding is UTF-8?

Best,
Oleg