Re: question/suggestion

[Karl Berry]

    Continuing with philosophical discussion, what about multiple spaces
    in source?  They are equal to only one in TeX, so perhaps makeinfo
    could condese them too.

Right.  (Well, usually equal, as I said.  Not in @verbatim, @example, etc.)

    And what about multiple spaces an the end of a sentence?  TeX has its
    own way to handle this (spacefactor).  Should makeinfo have similar
    intelligent algorithm?

In theory, yes.  It already does some stuff along those lines, although
it doesn't actually adjust the number of spaces.

    If yes, shouldn't we implement @frenchspacing in makeinfo?

I suppose so.

    (Currently, users are happy, as their style of writing texinfo
    sources gets copied to info files.)

Exactly.