> Date: Fri, 3 Jul 2015 19:19:01 +0100 > From: Gavin Smith <[email protected]> > > 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.
