Re: [PATCH] ignoring Info extensions

[Juri Linkov]

There are other problems in Info manuals:

1. If an Info node contains two menus, then the first menu item after
the second `* Menu:' is hidden.  And both standalone and Emacs Info
readers add an item `Menu' to the menu completion list (invoked by
`m').  An example of such node is (info "(gnus)Marking Articles").
Are two menus allowed in one node, or should we fix Info readers?

2. If a menu has an empty item (a single `*' on the whole line)
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.
Perhaps a line should be displayed in Info-title-1-face only
if the following line has two or more `*'.

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