[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] GNU info reader: why display for links has been chang
From: |
Eli Zaretskii |
Subject: |
Re: [help-texinfo] GNU info reader: why display for links has been changed? |
Date: |
Wed, 31 Jul 2019 17:41:07 +0300 |
> From: Aleksey Midenkov <address@hidden>
> Date: Tue, 30 Jul 2019 22:31:27 +0300
> Cc: Eli Zaretskii <address@hidden>, address@hidden
>
> I don't know what Hamm is, but that would help.
>
> https://www.electrictoolbox.com/debian-release-names/
>
> Of course you both don't know about this lost feature. How could you?
You think we are too young to know, is that right? Think again ;-)
Anyway, I've just built the Info reader from Texinfo 3.12, which was
released in 1998, the same year as Hamm, and I see no numbers near
menu items. Maybe Debian had their own version of the reader, or some
local changes they never submitted upstream, I have no idea.
- [help-texinfo] GNU info reader: why display for links has been changed?, Aleksey Midenkov, 2019/07/29
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Eli Zaretskii, 2019/07/29
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Aleksey Midenkov, 2019/07/29
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Eli Zaretskii, 2019/07/29
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Aleksey Midenkov, 2019/07/30
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Gavin Smith, 2019/07/30
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Aleksey Midenkov, 2019/07/30
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Gavin Smith, 2019/07/30
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Aleksey Midenkov, 2019/07/30
- Re: [help-texinfo] GNU info reader: why display for links has been changed?,
Eli Zaretskii <=
- Re: [help-texinfo] GNU info reader: why display for links has been changed?, Eli Zaretskii, 2019/07/30