Re: Let \footnote do the job of \footnote, \footnoteGrob, \autoFootnote and \autoFootnoteGrob (issue 5527058)

[address@hidden]

On Jan 10, 2012, at 4:46 PM, David Kastrup wrote:

> "address@hidden" <address@hidden> writes:
> 
>> On Jan 10, 2012, at 3:23 PM, David Kastrup wrote:
>> 
>>> What's that?  auto-numbering will only be active if
>>> footnote-auto-numbering is set in the layout?  Which it isn't by
>>> default?  And where there is no documentation around explaining how and
>>> why you should do that?
>> 
>> 
>> 
>> Several typos are in here.  \auto-footnote does work automatically,
>> and footnote-auto-numbering no longer exists (I forgot to remove this
>> when I forgot to remove a similar statement in the other doc string).
> 
> footnote-auto-numbering is present in the _code_.  This is not just a
> question of the doc string.  There _is_ user-level documentation in the
> notation manual (as a warning) mentioning, something like one has to set
> it to ##f if one wants to be using non-auto footnumbers.

I just pushed a fix to staging that gets rid of this - the lookup was useless, 
as the auto-numbering variable in this file always returned true.

Cheers,
MS