Re: a fix in HTML output

[Patrice Dumas]

On Fri, Aug 03, 2012 at 12:50:27AM +0200, Nikos Mavrogiannopoulos wrote:
> I had two issues in the HTML output of makeinfo (from cvs).
> 
> 2. When referring to floats, makeinfo adds a link to the float, but the
> text on the link has the node/anchor name instead of the float name.

You can now have float names in references by setting FLOAT_NAME_IN_XREF,
for instance, with

  --set FLOAT_NAME_IN_XREF=1

Any comment on the customization variable name?  Should it be the
default?

-- 
Pat