bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#23142: 25.1.50; Kind of duplicated lines in info TOC


From: Lars Ingebrigtsen
Subject: bug#23142: 25.1.50; Kind of duplicated lines in info TOC
Date: Mon, 29 Jul 2019 13:20:20 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Juri Linkov <juri@linkov.net> writes:

>> Does anybody know what the reasoning behind adding these seemingly
>> doubled lines is?
>
> Sometimes section names are more informative than node names.
> For example, open the Emacs manual and compare node vs section names:
>
> node names    vs    section names
>
> Basic::             Basic Editing Commands

That's true.  Perhaps we could suppress them only if they are identical
to the node names somehow?

I'm not familiar at all with the Info structures and my 30-second naive
stab at making that happen failed.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no





reply via email to

[Prev in Thread] Current Thread [Next in Thread]