On Sat, Feb 18, 2023 at 06:57:14PM +0100, Patrice Dumas wrote:
> On Sat, Jan 21, 2023 at 10:27:22AM +, Gavin Smith wrote:
> >
> > I think index commands should close any open paragraphs, as there is no
> > other
> > way of getting the right output other than having a blank line.
>
> What abo
On Sat, Jan 21, 2023 at 10:27:22AM +, Gavin Smith wrote:
>
> I think index commands should close any open paragraphs, as there is no other
> way of getting the right output other than having a blank line.
What about preformatted? I think that index entries should not stop
preformatted, such
Links to discussion archive:
https://lists.gnu.org/archive/html/help-texinfo/2022-11/msg00060.html
https://lists.gnu.org/archive/html/help-texinfo/2022-11/msg00061.html
On Sun, Nov 27, 2022 at 02:39:25PM +0100, Patrice Dumas wrote:
> > What is more awkward is when there is no blank line before the