Apparently there was a patch for this section for texinfo-5.1: https://github.com/heimdal/heimdal/commit/1846c7a35d1091d3b6140c56befd7fee0a91dcbb @iftex @macro sub{arg} @textsubscript{\arg\} @end macro @end iftex