@kbdinputstyle shouldn't be ignored in html (because it makes sense) and
in xml (to avoid information loss).Right. Thanks. (If anyone feels like writing the patch, that'd be great :) _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
