Hi Nicolas,
thank you for that pointer. I'll see if I can figure out what is going on
and if I can propose a solution.
Carsten
On Mon, Jul 15, 2019 at 12:10 PM Nicolas Goaziou
wrote:
> Hello,
>
> Carsten Dominik writes:
>
> > I noticed that the link in the following line in org-guide.org
> >
Hello,
Carsten Dominik writes:
> I noticed that the link in the following line in org-guide.org
>
> This document is a much compressed derivative of the
> [[info:org][comprehensive Org mode manual]].
>
>
> gets turned into this in orgguide.texi
>
> @ref{Top,comprehensive Org mode manual,,org,}.