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 > Sent: Friday, October 23, 2020 at 10:05 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: @ref without page numbers > > On Fri, Oct 23, 2020 at 09:18:12PM +0200, Christopher Dimech wrote: > > I could not follow it very well. > > > > My problem occurs in pdf output. How is the page number important, is > > there notion > > of page number in other formats, not just only on pdf? How are links and > > page numbers > > related? Can one do anything for the pdf case only? > > If the manual is printed on paper, the page number is needed for the > reader to look up the cross-reference. > > This issue has been discussed in the past: > > https://lists.gnu.org/archive/html/bug-texinfo/2016-11/msg00029.html > https://lists.gnu.org/archive/html/bug-texinfo/2016-11/msg00036.html > > (BTW the discussion containing that message goes into a lot of other > extraneous matters - please try and keep discussion germane to the > issue at hand.) > >