seems to be inadvertantly clobbered in \kbdinputstyle in texinfo-4.8.
The patch below changes it to \xxxarg.Thanks Brian. _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
