On Mon, Sep 1, 2014 at 7:15 PM, Vincent Belaïche <invalid.nore...@gnu.org> wrote: > I have attached an example. There are two macros with identical definition > (only naming changed in order to avoid erroneous duplication of macro > definition). > > One of the macro is defined in the main file, while the other one is defined > through an @include. > > What I can see, is that when going through the @include the last carriage > return before @end macro is not removed, which is erroneous. See Texinfo > manual node I don't know much about what is happening here, but one thing I did notice is that the include file "bug_texinfo-macros.texi" uses MS-DOS-style line endings ("\r\n"), while the main file "bug_texinfo.texi" doesn't. Some of these carriage returns appear in "bug_texinfo.html", e.g.
<ol> <li> UNBREAK^MABLE^M^M </li><li> UNBREAKABLE </li></ol> where ^M is a carriage return character.