(texinfo-master-menu-header): Delete newline at start.
(texinfo-insert-master-menu-list): Add @detailmenu and @end detailmenu commands.
Showing
Please register or sign in to comment
(texinfo-insert-master-menu-list): Add @detailmenu and @end detailmenu commands.