texinfo-master-menu-header

texinfo-master-menu-header is a variable defined in `texnfo-upd.el'.
Its value is
" --- The Detailed Node Listing ---
"


Documentation:
String inserted before lower level entries in Texinfo master menu.
It comes after the chapter-level menu entries.