Re: Text decoration in node names and index entries

[Eli Zaretskii]

> Date: Fri, 3 Jul 2015 19:19:01 +0100
> From: Gavin Smith <address@hidden>
> 
> I'd like to propose that when @-commands that produce decoration
> around text are used in node names or index entries, the decoration is
> suppressed.

I think you will take away a feature if you do that: some @-commands
change the output in ways that cannot be given up without losing
something.

This has come up before, so I suggest to look up past discussions,
around the time the option mentioned below was introduced.

> For comparison, the output of makeinfo 4.13 (using the --force option):

Btw, makeinfo 4.13 has the --commands-in-node-names for this.