--no-headers and HTML menus [was: strange looking HTML menus]

[Stephen Gildea]

>   Stephen, since you just wrote about --no-headers, do you like or
>   dislike its exclusion of menus from html output?

I like it.  Here's why:

1.  I see two ways of thinking about your HTML output.  It is either a
document similar to the PDF/hardcopy format (using the Table of Contents
and sectioning commands for navigation), or it is a navigable help tree
similar to the Info format (using nodes and menus for navigation).  It
is a strength of Texinfo that I can write either or both into the same
document.  It is a valuable feature of makeinfo that I can format my
HTML for either presentation.  But it doesn't make sense to me to output
half of one view, that is, menus or nodes but not both.

2.  The menus point to nodes.  With the nodes omitted, what would the
menus point to?

3.  This makes --no-headers do the same thing with and without --html.
I agree with Karl that if we really want this, it should be a separate
option.


Note that the --no-headers documentation could be clearer that it
suppresses menus even with --html.