(Info-menu-update): When there are no menus and/or no
cross references in the node, make the respective items of the Info menu-bar menu inactive.
Showing
Please register or sign in to comment
cross references in the node, make the respective items of the Info menu-bar menu inactive.