Re: [PATCH] Modula-2: fix documentation layout

2023-03-27 Thread Gaius Mulley via Gcc-patches
Eric Botcazou writes: > Hi Gaius, > >> yes indeed and thanks for the patch! > > You're welcome. The documentation was slightly broken again in the meantime, > but nothing really serious this time. > > Again tested with a modern and an old version of Makeinfo. OK for mainline? > > > 2023-03-27

Re: [PATCH] Modula-2: fix documentation layout

2023-03-27 Thread Eric Botcazou via Gcc-patches
Hi Gaius, > yes indeed and thanks for the patch! You're welcome. The documentation was slightly broken again in the meantime, but nothing really serious this time. Again tested with a modern and an old version of Makeinfo. OK for mainline? 2023-03-27 Eric Botcazou * doc/gm2.texi

Re: [PATCH] Modula-2: fix documentation layout

2023-01-09 Thread Gaius Mulley via Gcc-patches
Eric Botcazou writes: > Hi, > > the Modula-2 documentation is rejected by older versions of Makeinfo because > the web of @node markers is fairly broken, apparently some subsections were > moved around, most notably between the Overview and Using sections, and the > @node markers were not (pro