[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] Consecutive spaces in node titles?

From: Karl Berry
Subject: Re: [help-texinfo] Consecutive spaces in node titles?
Date: Sat, 10 Mar 2012 23:02:21 GMT

    that means that one cannot have a different spacing on menu entry
    and @node line which I think should be ok.  

I don't see the logic in allowing different spacings in a node name on a
menu line and on a node line.  To me, it makes the most sense to
"canonicalize" a node name wrt spaces once and for all and output it the
same way in all places (xref constructs too).

    I could try to have this warning removed when the 2 expansions only
    differ in the spaces, as Info rightly do not care about the number
    of spaces.

If that's what you prefer, I don't feel strongly about it.

I'll look at the TeX things as soon as I can.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]