[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Numbered footnotes in the manual interfere with diff
From: |
Bastien |
Subject: |
Re: Numbered footnotes in the manual interfere with diff |
Date: |
Tue, 04 Oct 2022 10:31:24 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ihor Radchenko <yantar92@gmail.com> writes:
> Done.
> https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=0641ece57b9d980b63e3a3bb6dc4d467eff3051b
>
> I also documented this in doc/Documentation_Standards.org
Great, thank you.
>>> Also, there is one footnote that is indexed (does it even work?):
>>
>> AFACT it does not work and I think it should not work, we can remove
>> these index entries.
>
> Instead of removing, I moved the entries to the footnote reference.
> https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=180966c645547bf8e0f78ea28d63a686a286d2b2
Even better, thanks.
--
Bastien