On Fri, Oct 23, 2020 at 10:40:52PM +0200, Christopher Dimech wrote:
> Dear Gavin,
>
> You are quite right, if the manual is printed, one needs the page numbers.
>
> I would be satisfied with an option in which the page number is printed
> as a superscript @sup{page-no} (similar to footnote numbers) next to the
> closing square bracket.
>
> That is, from this
>
> Section 1.13 [Intactv-Function], page 11,
>
> to this
>
> Section 1.13 [Intactv-Function]@sup{11},
>
> The would solve the problem, yet keep requirements intact.
>
> Regards
> Christopher
There's no precedent for this - this looks like a footnote reference.
Would it not be simpler to miss out the page number, as in my patch
here?
https://lists.gnu.org/archive/html/bug-texinfo/2016-11/msg00048.html
