GNU bug report logs - #23142
25.1.50; Kind of duplicated lines in info TOC

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Juri Linkov <juri <at> linkov.net>
Cc: 23142 <at> debbugs.gnu.org, Johan Claesson <johanclaesson <at> bredband.net>
Subject: bug#23142: 25.1.50; Kind of duplicated lines in info TOC
Date: Mon, 29 Jul 2019 13:20:20 +0200

Juri Linkov <juri <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.