Re: cross manual references in html manuals

[Eli Zaretskii]

> Date: Tue, 27 May 2003 08:52:24 -0400
> From: address@hidden (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.