On Jan 6, 2009, at 4:21 PM, Madhu wrote:
From the Changes.html file for 6.11:
,
| Footnotes in HTML export are now collected at the end of the
document.
|
| Previously footnotes would be left in the document where they are
| defined, now they are all collected and put into a special at
>From the Changes.html file for 6.11:
,
| Footnotes in HTML export are now collected at the end of the document.
|
| Previously footnotes would be left in the document where they are
| defined, now they are all collected and put into a special at
| the end of the document.
`
Turns out t
