Re: [help-texinfo] Spacing after semi-colon?

[Karl Berry]

    | space at the end of a sentence, after a semi-colon, and so on.  This is
                                      ^^^^^^^^^^^^^^^^^^

Indeed, double space after semi-colon is wrong.  Even colon is
questionable.  I'll fix the passage.

Thanks,
k