Hello,
Jonas Bernoulli writes:
> Currently "#+OPTIONS: num:N" not only affects whether sections are
> numbered, it also controls whether links to numbered sections look
> like
>
> See *note 5.2.3: Section hooks.
>
> or
>
> See *note Section hooks: Section hooks.
>
> in the
Hello,
Currently "#+OPTIONS: num:N" not only affects whether sections are
numbered, it also controls whether links to numbered sections look
like
See *note 5.2.3: Section hooks.
or
See *note Section hooks: Section hooks.
in the info file. Here the first seems better, but when looking at