> If texinfo uses those macros, then they are fine with me. I don't > know where the current version of texinfo lives. The latest pretest (texinfo-3.12s) is on alpha.gnu.