> 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. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
