> Date: Tue, 27 May 2003 08:52:24 -0400
> From: [EMAIL PROTECTED] (Karl Berry)
> 
> In principle, if makeinfo supported it, it could filter out the
> @-commands in node names so that TeX wouldn't have to

Careful: stripping out @-commands might produce invalid Texinfo.
Consider, for example, a case like this:

  set FOO bar
  set BAR baz
  ...
  @node @value{FOO} baz
  ...
  @xref{FOO @value{BAR}}.

If you strip all the @-commands, this example will fail because the
argument of @xref taken as a literal string does not compare equal to
the node name taken as a literal string.  You must do a full expansion
of @-commands for such Texinfo files to work.


_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to