Tue 15 Oct 2013 05:21:20 PM UTC, comment #1:
This is indeed a change with respect to makeinfo 4.13, as in makeinfo 4.13 the meaning of @ in @tex was unspecified, and, in practice, ignored.
Now, we explicitly take into account @-commands in raw environments (and we do not treat @tex differently from other raw block environments (@html...), nor from @inlineraw{format, ...} brace delimited raw environments). Therefore, even if the block content is not output afterwards, the @-commands are taken into account when going through the block, as the block is never ignored when processing the document (in contrast with @if*, @ignore blocks) -- though it is in general ignored when outputting the result.
This is in fact documented, though very briefly, in the "Raw Formatter Commands" node:
Later in this node it is reemphasized:
Two possibilities to fix that issue are escape @ with @@, use texinfo comments in @iftex rather than @tex comments.
|