Re: [PATCH] ignoring Info extensions

[Juri Linkov]

>     2. If a menu has an empty item (a single `*' on the whole line)
>
> This also seems invalid to me.  There's no provision for "empty" menu
> items.
>
>     then the previous menu item is displayed in Info-title-1-face.
>     An example of such menu is the START-INFO-DIR-ENTRY of coreutils.info.
>
> I don't see it.  I'm looking at coreutils 5.2.1.

Yes, original package is ok.  A single `*' character is added
only in Debian.

>     Perhaps a line should be displayed in Info-title-1-face only
>     if the following line has two or more `*'.
>
> I don't understand?  Why would a line start with two *'s?

To underline Info titles, like this:

Title
*****

I assumed that there is no title shorter than two characters,
so only a sequence of two or more `*' characters could fontify
the previous line in Info-title-1-face.

But I think we have nothing to do here - Debian developers should fix 
menu lines with a single `*' character.

-- 
Juri Linkov
http://www.jurta.org/emacs/