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

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 29 Jul 2019 13:20:20 +0200

Juri Linkov <[email-masked]> 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