Hello,

William Denton <w...@pobox.com> writes:

> Attached is a tiny patch to add mention of this variable in the
> section of the docs where all those options are listed.

Thank you. Would you mind using git format-patch for it and add a proper
commit message?

Also, wouldn't it make sense to use @vindex org-footnote-section in the
paragraph above?

Regards,

-- 
Nicolas Goaziou

Reply via email to