Re: texinfo.tex CVS 2003-11-24

[Stepan Kasal]

Hello,

On Mon, Dec 01, 2003 at 10:01:59AM +0100, Akim Demaille wrote:
> still have tt fonts for book titles.  Actually, this is not a big

I beleive the official recommendation is to use
@deffn @cite{book name}

> What did we lose bold face?

@deffn variable--foo

The `--' was printed as n-dash, a ligature.  This would be difficult to fix
otherwise.

With the old code, I think that the identifiers were (often) printed with
tt in indices.  Having different font in the main text was inconsistent.
(Sorry, I don't have time to verify my assumption, ckeck yourself, if you
are interested.)

And I also voted for tt for the following reason:
If Texinfo were used for Czech manuals:  we often use a Czech word with
diacritics stripped, which looks OK in tt, but really strange in a
proportional font.

BTW: how the dragon happend to board on your mail?

Have a nice day,
        Stepan