Subject: Re: bug#13989: Make Info support footnotes

From: Juri Linkov <[email-masked]>
Date: Thu, 21 Mar 2013 01:05:01 +0200

> What if the footnote style is set to 'Separate' in the Texinfo
> sources?

If the footnote style is 'Separate' then `makeinfo' creates
a separate node with a normal cross reference that leads to it.
I tested both footnote styles, and they work consistently
with Info navigation, so I'm closing this report as fixed.