Greetings,
My ultimate goal is for Texinfo split-HTML output to emit section names
within menus rather than node names (and menu descriptions).
I have attempted this by setting the NODE_NAME_IN_MENU variable to zero
('0'). My first attempt I assigned the variable on the command line (
--set-customization-variable NODE_NAME_IN_MENU=0). Since that had
no noticeable effect on HTML output, I modified NODE_NAME_IN_MENU's default
value to '0' in HTML.pm. That had no effect either.
[1]
Am I correctly understanding the purpose of this variable? I.e., that if
set to zero, it should cause section names rather than node names to be
emitted in HTML menus?
[2]
If so, what would you recommend given what I've written?
Respectfully,
Jason
