Hi,
Maxim Nikulin writes:
> I think, it is better to restore the footnote text than to leave it in
> its current state "DEFINITION NOT FOUND".
Fixed now, thanks!
--
Bastien
On 21/07/2021 22:26, Timothy wrote:
Maxim Nikulin writes:
It seems, the footnote was unintentionally lost in the merge commit with a lot
of conflicts due to renumbering in both branches:
Timothy wrote:
> […]
>> The original footnote seems to have been added with commit
>> e30aed8f0c62e74633f7a0398340f9bd7bdfa3cc (but personally I
>> don't find that text very helpful).
> Do you think it would be more appropriate to update or remove the
> footnote?
AFAIUI, if LANGUAGE is set,
Maxim Nikulin writes:
> It seems, the footnote was unintentionally lost in the merge commit with a lot
> of conflicts due to renumbering in both branches:
>
>
On 21/07/2021 17:36, Timothy wrote:
At https://orgmode.org/manual/Export-Settings.html#DOCF124
and (renumbered to "fn:123") in doc/org-manual.org, a foot-
note is defined as "DEFINITION NOT FOUND":
Well that certainly looks dodgy!
The original footnote seems to have been added with commit
Hi Tim,
> At https://orgmode.org/manual/Export-Settings.html#DOCF124
> and (renumbered to "fn:123") in doc/org-manual.org, a foot-
> note is defined as "DEFINITION NOT FOUND":
Well that certainly looks dodgy!
> The original footnote seems to have been added with commit
>
At https://orgmode.org/manual/Export-Settings.html#DOCF124
and (renumbered to "fn:123") in doc/org-manual.org, a foot-
note is defined as "DEFINITION NOT FOUND":
| [tim@vagabond ~/src/org-mode]$ git grep -2 'DEFINITION NOT FOUND' --
doc/org-manual.org
| doc/org-manual.org-this timestamp are
