On Mon, Nov 16, 2020 at 10:16:56PM -0600, Jacob Bachmeyer wrote:
> Gavin Smith wrote:
> > On Mon, Nov 16, 2020 at 07:35:28PM +0100, Christopher Dimech wrote:
> > > So currently, having page numbers with full page description remained.
> > > I fail to understand because the new possibilities are not
Gavin Smith wrote:
On Mon, Nov 16, 2020 at 07:35:28PM +0100, Christopher Dimech wrote:
So currently, having page numbers with full page description remained.
I fail to understand because the new possibilities are not difficult to
do, yet refuse the change for those who require them. In writi
ent: Tuesday, November 17, 2020 at 5:16 AM
> From: "Jacob Bachmeyer"
> To: "Gavin Smith"
> Cc: "Christopher Dimech" , "help-texinfo gnu"
>
> Subject: Re: Page Numbers in @ref
>
> Gavin Smith wrote:
> > On Mon, Nov 16, 2020 at 07:35:28
On Mon, Nov 16, 2020 at 07:35:28PM +0100, Christopher Dimech wrote:
> So currently, having page numbers with full page description remained.
> I fail to understand because the new possibilities are not difficult to
> do, yet refuse the change for those who require them. In writing
> mathematical t
> Sent: Monday, November 16, 2020 at 6:58 PM
> From: "Gavin Smith"
> To: "Christopher Dimech"
> Cc: "help-texinfo gnu" , "Patrice Dumas"
>
> Subject: Re: Page Numbers in @ref
>
> On Mon, Nov 16, 2020 at 06:42:06PM +0100, Christop
On Mon, Nov 16, 2020 at 06:42:06PM +0100, Christopher Dimech wrote:
> Some have commented that they did not want the page number to be displayed
> in some documents (e.g. non-printed pdf output)
>
> For instance, I have used @ref to refer to bibliographic output, where the
> page number is not rea
Some have commented that they did not want the page number to be displayed
in some documents (e.g. non-printed pdf output)
For instance, I have used @ref to refer to bibliographic output, where the
page number is not really important - that is, the user can easily find the
bibliographic element, w
