texinfo: add test