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?Yes, this has been on my list for a long time. Hopefully ... Thanks, k _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
