Re: [PATCH] ignoring Info extensions

[Karl Berry]

    question: is trailing whitespace allowed in Info node names

No.  It "should" not occur.

    officially by Texinfo documentation and by `makeinfo'? 

By coincidence, there was a recent bug report pointing that TeX barfed
on node names with trailing whitespace, while makeinfo accepted them.  I
will change makeinfo to make this an error, or at least a warning, and
remove such trailing whitespace so it doesn't get into the output.

I can't find anything in the documentation that says explicitly one way
or the other.  I'll change that.

Thanks,
k