When using split-node HTML output, is it possible to get the node name in the <title> -- instead of or, preferably, in addition to the main title?
This would make the title quite a bit more informative, I think, especially in summaries as produced, e.g., by search engines such as ht://dig. Frank -- Frank Heckenbach, [EMAIL PROTECTED] http://fjf.gnu.de/ GnuPG and PGP keys: http://fjf.gnu.de/plan (7977168E) _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
